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 条
  • [31] An overview of parallel SAT solving
    Ruben Martins
    Vasco Manquinho
    Inês Lynce
    Constraints, 2012, 17 : 304 - 347
  • [32] ANAGRAM SOLVING AND SAT PERFORMANCE
    GAVURIN, EI
    JOURNAL OF PSYCHOLOGY, 1972, 81 (02): : 281 - &
  • [33] Solving SAT efficiently with promises
    Iwama, K
    Matsuura, A
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2003, E86D (02) : 213 - 218
  • [34] Finding kernels or solving SAT
    Walicki, Michal
    Dyrkolbotn, Sjur
    JOURNAL OF DISCRETE ALGORITHMS, 2012, 10 : 146 - 164
  • [35] SAT-solving in practice
    Claessen, Koen
    Een, Niklas
    Sheeran, Mary
    Sorensson, Niklas
    WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 61 - +
  • [36] SAT Solving with Reference Points
    Kottler, Stephan
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 143 - 157
  • [37] A Pearl on SAT Solving in Prolog
    Howe, Jacob M.
    King, Andy
    FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 2010, 6009 : 165 - +
  • [38] Scalable SAT Solving in the Cloud
    Schreiber, Dominik
    Sanders, Peter
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2021, 2021, 12831 : 518 - 534
  • [39] An overview of parallel SAT solving
    Martins, Ruben
    Manquinho, Vasco
    Lynce, Ines
    CONSTRAINTS, 2012, 17 (03) : 304 - 347
  • [40] An incremental SAT-based approach for solving the real-time taxi-sharing service problem
    Zha, Aolong
    Chang, Qiong
    Noda, Itsuki
    DISCRETE APPLIED MATHEMATICS, 2023, 335 : 131 - 145
12345