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 条
  • [21] Hypergraph motifs and their extensions beyond binary
    Geon Lee
    Seokbum Yoon
    Jihoon Ko
    Hyunju Kim
    Kijung Shin
    The VLDB Journal, 2024, 33 : 625 - 665
  • [22] Beyond the Storage Capacity: Data-Driven Satisfiability Transition
    Rotondo, Pietro
    Pastore, Mauro
    Gherardi, Marco
    PHYSICAL REVIEW LETTERS, 2020, 125 (12)
  • [23] Applications of general exact satisfiability in propositional logic modelling
    Dahllöf, V
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3452 : 95 - 109
  • [24] Boolean Satisfiability Problem: Discrete and Continuous Reformulations with Applications
    Pichugina, Oksana
    Matsyi, Olha
    15TH INTERNATIONAL CONFERENCE ON ADVANCED TRENDS IN RADIOELECTRONICS, TELECOMMUNICATIONS AND COMPUTER ENGINEERING (TCSET - 2020), 2020, : 623 - 627
  • [25] Extensions of algebras, mnemofunctions, and their applications
    Radyno, YV
    NONLINEAR THEORY OF GENERALIZED FUNCTIONS, 1999, 401 : 209 - 218
  • [26] Extensions and applications of ACF mappings
    Chancelier, Jean-Philippe
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2013, 405 (02) : 466 - 474
  • [27] APPLICATIONS AND EXTENSIONS OF OWA AGGREGATIONS
    YAGER, RR
    INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1992, 37 (01): : 103 - 132
  • [28] EXTENSIONS OF THE WITT ALGEBRA AND APPLICATIONS
    Rian, Khalid
    JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2011, 10 (06) : 1233 - 1259
  • [29] Ordered tableaux:: Extensions and applications
    Hähnle, R
    Pape, C
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 173 - 187
  • [30] Extensions of Riordan Arrays and Their Applications
    Barry, Paul
    MATHEMATICS, 2025, 13 (02)
12345