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 条
  • [41] Incremental programming for reconfigurable engines
    Lee, D
    Lee, TK
    Luk, W
    Cheung, PYK
    2002 IEEE INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (FPT), PROCEEDINGS, 2002, : 411 - 415
  • [42] Mining Backbone Literals in Incremental SAT A New Kind of Incremental Data
    Ivrii, Alexander
    Ryvchin, Vadim
    Strichman, Ofer
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, 2015, 9340 : 88 - 103
  • [43] Incremental SAT-based Exact Synthesis
    Zou, Sunan
    Zhang, Jiaxi
    Luo, Guojie
    PROCEEDING OF THE GREAT LAKES SYMPOSIUM ON VLSI 2024, GLSVLSI 2024, 2024, : 158 - 163
  • [44] Automated Benchmarking of Incremental SAT and QBF Solvers
    Egly, Uwe
    Lonsing, Florian
    Oetsch, Johannes
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, (LPAR-20 2015), 2015, 9450 : 178 - 186
  • [45] Solving incremental satisfiability
    Mouhoub, Malek
    Sadaoui, Samira
    INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2007, 16 (01) : 139 - 147
  • [46] Incremental QBF Solving
    Lonsing, Florian
    Egly, Uwe
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 8656 : 514 - 530
  • [47] Back to Basics: Solving Games with SAT
    Quer, Stefano
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2016, 16 (03) : 91 - 98
  • [48] Beyond Unit Propagation in SAT Solving
    Kaufmann, Michael
    Kottler, Stephan
    EXPERIMENTAL ALGORITHMS, 2011, 6630 : 267 - 279
  • [49] A distribution method for solving SAT in grids
    Hyvarinen, Antti E. J.
    Junttila, Tommi
    Niemela, Ilkka
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, 2006, 4121 : 430 - 435
  • [50] New Evolutionary Approaches for SAT Solving
    Raschip, Madalina
    Croitoru, Cornelius
    Frasinaru, Cristian
    2018 IEEE 30TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2018, : 522 - 526
12345