Improve engines in incremental SAT solving

被引：0
|
作者：
Améliorer SAT dans le cadre incrémental
机构：
[1] Audemard, Gilles
[2] Biere, Armin
[3] Lagniez, Jean-Marie
[4] Simon, Laurent
来源：
| 1600年 / Lavoisier卷 / 28期
关键词：
D O I：
10.3166/RIA.28.593-614
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Incremental SAT instance generation for SAT-based ATPG
    Tille, Daniel
    Drechsler, Rolf
    2008 IEEE WORKSHOP ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, PROCEEDINGS, 2008, : 68 - 73
  • [22] Assessing Progress in SAT Solvers Through the Lens of Incremental SAT
    Kochemazov, Stepan
    Ignatiev, Alexey
    Marques-Silva, Joao
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, 2021, 12831 : 280 - 298
  • [23] Stochastic local search for incremental SAT
    Mouhoub, Malek
    INTERNATIONAL JOURNAL OF KNOWLEDGE-BASED AND INTELLIGENT ENGINEERING SYSTEMS, 2005, 9 (03) : 191 - 195
  • [24] Improvements to hybrid incremental SAT algorithms
    Letombe, Florian
    Marques-Silva, Joao
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, 2008, 4996 : 168 - +
  • [25] Incremental compilation-to-SAT procedures
    Benedetti, M
    Bernardini, S
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2005, 3542 : 46 - 58
  • [26] Distributed Parallel #SAT Solving
    Burchard, Jan
    Schubert, Tobias
    Becker, Bernd
    2016 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2016, : 326 - 335
  • [27] SAT solving for argument filterings
    Codish, Michael
    Schneider-Kamp, Peter
    Lagoon, Vitaly
    Thiemann, Rene
    Giesl, Juergen
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 30 - 44
  • [28] A hardware accelerator for SAT solving
    Safar, Mona
    Shalan, Mohamed
    El-Kharashi, M. Watheq
    Salem, Ashraf
    2006 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS, 2006, : 132 - +
  • [29] On Solving MaxSAT Through SAT
    Ansotegui, Carlos
    Luisa Bonet, Maria
    Levy, Jordi
    ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2009, 202 : 284 - 292
  • [30] Parallel SAT solving with microcontrollers
    Schubert, T
    Becker, B
    APPLIED COMPUTING, PROCEEDINGS, 2004, 3285 : 59 - 67
12345