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 条
  • [31] A PROBABILISTIC ANALYSIS OF A NEW SATISFIABILITY ALGORITHM
    APOLLONI, B
    DIGREGORIO, S
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1982, 16 (03): : 201 - 223
  • [32] Efficient IP forwarding engine with incremental update
    Hu, SC
    Chan, CT
    Chang, HY
    Wang, PC
    JOURNAL OF HIGH SPEED NETWORKS, 2004, 13 (03) : 223 - 232
  • [33] GRASP - A new search algorithm for satisfiability
    Silva, JPM
    Sakallah, KA
    1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1996, : 220 - 227
  • [34] An incremental model on search engine query recommendation
    Wang, JianGuo
    Huang, Joshua Zhexue
    Wu, Dingming
    Guo, Jiafeng
    Lan, Yanyan
    NEUROCOMPUTING, 2016, 218 : 423 - 431
  • [35] New upper bounds for maximum satisfiability
    Niedermeier, R
    Rossmanith, P
    JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC, 2000, 36 (01): : 63 - 88
  • [36] A New Branching Heuristic for Propositional Satisfiability
    Zhao, Yujuan
    Song, Zhenming
    2016 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY), 2016,
  • [37] A multi-domain incremental analysis engine and its application to incremental resource analysis
    Albert, Elvira
    Correas, Jesus
    Puebla, German
    Roman-Diez, Guillermo
    THEORETICAL COMPUTER SCIENCE, 2015, 585 : 91 - 114
  • [38] The New Woman as Satirist or Butt of Satire
    Boa, Elizabeth
    OXFORD GERMAN STUDIES, 2017, 46 (01) : 25 - 41
  • [39] Reasoning and inference for (Maximum) satisfiability: new insights
    Cherif, Mohamed Sami
    CONSTRAINTS, 2023, 28 (03) : 513 - 514
  • [40] Integration of learning techniques into incremental satisfiability for efficient path-delay fault test generation
    Chandrasekar, K
    Hsiao, MS
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 1002 - 1007
12345