SATIRE: A new incremental satisfiability engine

被引：0
|
作者：
Whittemore, J [1 ]
Kim, J [1 ]
Sakallah, K [1 ]
机构：
[1] Univ Michigan, Ann Arbor, MI 48109 USA
来源：
38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001 | 2001年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We introduce SATIRE, a new satisfiability solver that is particularly suited to verification and optimization problems in electronic design automation. SATIRE builds on the most recent advances in satisfiability research, and includes two new features to achieve even higher performance: a facility for incrementally solving sets of related problems, and the ability to handle non-CNF constraints. We provide experimental evidence showing the effectiveness of these additions to classical satisfiability solvers.
引用
收藏
页码：542 / 545
页数：4
相关论文
共 50 条
  • [1] Solving incremental satisfiability
    Mouhoub, Malek
    Sadaoui, Samira
    INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2007, 16 (01) : 139 - 147
  • [2] SOLVING THE INCREMENTAL SATISFIABILITY PROBLEM
    HOOKER, JN
    JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (1-2): : 177 - 186
  • [3] Incremental Diagnosis of DES by Satisfiability
    Grastien, Alban
    Anbulagan
    ECAI 2008, PROCEEDINGS, 2008, 178 : 787 - +
  • [4] Incremental Satisfiability and Implication for UTVPI Constraints
    Schutt, Andreas
    Stuckey, Peter J.
    INFORMS JOURNAL ON COMPUTING, 2010, 22 (04) : 514 - 527
  • [5] HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY
    Letombe, Florian
    Marques-Silva, Joao
    INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2012, 21 (06)
  • [6] Reduced incremental pattern backtracking for workflow satisfiability
    Zhai Z.
    Liu G.
    Lu Y.
    Xiang J.
    Wu M.
    Feng M.
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2023, 29 (11): : 3624 - 3638
  • [7] An evolutionary local search method for incremental satisfiability
    Menaï, MEB
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 143 - 156
  • [8] Incremental satisfiability counting for real-time systems
    Andrei, T
    Chin, WN
    RTAS 2004: 10TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2004, : 482 - 489
  • [9] On solving stack-based incremental satisfiability problems
    Kim, J
    Whittemore, J
    Sakallah, K
    2000 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, 2000, : 379 - 382
  • [10] Knowledge Compilation for Incremental and Checkable Stochastic Boolean Satisfiability
    Cheng, Che
    Luo, Yun-Rong
    Jiang, Jie-Hong R.
    PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 1862 - 1872
12345