Beyond satisfiability: Extensions and applications

被引：0
|
作者：
Shankar, Natarajan [1 ]
机构：
[1] SRI Int, Comp Sci Lab, Menlo Pk, CA 94025 USA
来源：
NEXT GENERATION DESIGN AND VERIFICATION METHODOLOGIES FOR DISTRIBUTED EMBEDDED CONTROL SYSTEMS | 2007年
关键词：
boolean satisfiability; satisfiability modulo theories; decision procedures; automated theorem proving;
D O I：
10.1007/978-1-4020-6254-4_17
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Satisfiability procedures are used to check if a formula representing a constraint has a solution. They are gaining popularity as core engines for a number of applications. These procedures can be adapted for uses beyond testing satisfiability. We describe the underlying ideas and enumerate some of the applications and extensions of satisfiability procedures for verification, test generation, planning, and scheduling.
引用
收藏
页码：213 / 225
页数：13
相关论文
共 50 条
  • [31] EXTENSIONS OF BRANDT SEMIGROUPS AND APPLICATIONS
    WARNE, RJ
    ILLINOIS JOURNAL OF MATHEMATICS, 1966, 10 (04) : 652 - &
  • [32] Extensions and applications of the Bohm criterion
    Baalrud, Scott D.
    Scheiner, Brett
    Yee, Benjamin
    Hopkins, Matthew
    Barnat, Edward
    PLASMA PHYSICS AND CONTROLLED FUSION, 2015, 57 (04)
  • [33] Uniformization: Basics, extensions and applications
    van Dijk, N. M.
    van Brummelen, S. P. J.
    Boucherie, R. J.
    PERFORMANCE EVALUATION, 2018, 118 : 8 - 32
  • [34] Rough sets, their extensions and applications
    Shen Q.
    Jensen R.
    International Journal of Automation and Computing, 2007, 4 (3) : 217 - 228
  • [35] On Extensions over Semigroups and Applications
    Huang, Wen
    Jin, Lei
    Ye, Xiangdong
    ENTROPY, 2016, 18 (06):
  • [36] EXTENSIONS OF THE TENSOR ALGEBRA AND THEIR APPLICATIONS
    Itoh, Minoru
    COMMUNICATIONS IN ALGEBRA, 2012, 40 (09) : 3442 - 3493
  • [37] Rough Sets,Their Extensions and Applications
    Richard Jensen
    International Journal of Automation & Computing, 2007, (03) : 217 - 228
  • [38] EXTENSIONS OF ROOTED TREES AND THEIR APPLICATIONS
    CULIK, K
    DISCRETE MATHEMATICS, 1977, 18 (02) : 131 - 148
  • [39] MONOTONE EXTENSIONS OF MAPPINGS AND THEIR APPLICATIONS
    KOHLI, JK
    PACIFIC JOURNAL OF MATHEMATICS, 1983, 105 (01) : 193 - 205
  • [40] Extensions to Linda for graphical applications
    Wells, G
    Chalmers, A
    HIGH PERFORMANCE COMPUTING FOR COMPUTER GRAPHICS AND VISUALISATION, 1996, : 266 - 273
12345