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 条
  • [21] A Boolean satisfiability-based incremental rerouting approach with application to FPGAs
    Nam, GJ
    Sakallah, K
    Rutenbar, R
    DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 560 - 564
  • [22] OpenTimer v2: A New Parallel Incremental Timing Analysis Engine
    Huang, Tsung-Wei
    Guo, Guannan
    Lin, Chun-Xun
    Wong, Martin D. F.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2021, 40 (04) : 776 - 789
  • [23] New algorithms for Exact Satisfiability
    Byskov, JM
    Madsen, BA
    Skjernaa, B
    THEORETICAL COMPUTER SCIENCE, 2005, 332 (1-3) : 515 - 541
  • [24] A new way of distributing satisfiability
    Benedetti, M
    IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 295 - 300
  • [25] Minimum Incremental Pattern Backtracking for Resource-independent Workflow Satisfiability Problem
    Zhai Z.-N.
    Lu Y.-H.
    Liu G.-J.
    Lei J.-S.
    Xiang J.
    Wu M.-W.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (04): : 1543 - 1569
  • [26] Automatic debugging of real-time systems based on incremental satisfiability counting
    Andrei, Stefan
    Chin, Wei Ngan
    Cheng, Albert Mo Kim
    Lupu, Mihai
    IEEE TRANSACTIONS ON COMPUTERS, 2006, 55 (07) : 830 - 842
  • [27] Systematic debugging of real-time systems based on incremental satisfiability counting
    Andrei, T
    Chin, WN
    Cheng, AMK
    Lupu, MH
    RTAS 2005: 11TH IEEE REAL TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2005, : 519 - 528
  • [28] Efficient, scalable hardware engine for Boolean satisfiability and unsatisfiable core extraction
    Gulati, K.
    Waghmode, M.
    Khatri, S. P.
    Shi, W.
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2008, 2 (03): : 214 - 229
  • [29] NEW LEGALITY - SATIRE OR ARROGANCE
    HALDI, G
    AMERICAN BAR ASSOCIATION JOURNAL, 1967, 53 (NOV): : 986 - &
  • [30] A NEW ALGORITHM FOR THE PROPOSITIONAL SATISFIABILITY PROBLEM
    GALLO, G
    PRETOLANI, D
    DISCRETE APPLIED MATHEMATICS, 1995, 60 (1-3) : 159 - 179
12345