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 条
  • [1] Incremental Inprocessing in SAT Solving
    Fazekas, Katalin
    Biere, Armin
    Scholl, Christoph
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, 2019, 11628 : 136 - 154
  • [2] Accelerating SAT Based Planning with Incremental SAT Solving
    Gocht, Stephan
    Balyo, Tomas
    TWENTY-SEVENTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING, 2017, : 135 - 139
  • [3] Solving incremental MAX-SAT
    Mouhoub, M
    INTELLIGENT AND ADAPTIVE SYSTEMS AND SOFTWARE ENGINEERING, 2004, : 46 - 51
  • [4] An incremental SAT solving library and its applications
    1600, Japan Society for Software Science and Technology (33):
  • [5] Solving SQL constraints by incremental translation to SAT
    Lohfert, Robin
    Lu, James J.
    Zhao, Dongfang
    NEW FRONTIERS IN APPLIED ARTIFICIAL INTELLIGENCE, 2008, 5027 : 669 - 676
  • [6] Optimization of Combinatorial Testing by Incremental SAT Solving
    Yamada, Akihisa
    Kitamura, Takashi
    Artho, Cyrille
    Choi, Eun-Hye
    Oiwa, Yutaka
    Biere, Armin
    2015 IEEE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2015,
  • [7] Asynchronous Multi-core Incremental SAT Solving
    Wieringa, Siert
    Heljanko, Keijo
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 139 - 153
  • [8] Incremental Solving Techniques for SAT-based ATPG
    Tille, Daniel
    Eggersgluess, Stephan
    Drechsler, Rolf
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (07) : 1125 - 1130
  • [9] Scalable exploration of functional dependency by interpolation and, incremental SAT solving
    Lee, Chih-Chun
    Jiang, Jie-Hong R.
    Huang, Chung-Yang
    Mishchenko, Alan
    IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN DIGEST OF TECHNICAL PAPERS, VOLS 1 AND 2, 2007, : 227 - +
  • [10] Reusing Search Tree for Incremental SAT Solving of Temporal Induction
    Yin, Liangze
    He, Fei
    Zhou, Min
    Gu, Ming
    2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 85 - 92
12345