SOLVING THE INCREMENTAL SATISFIABILITY PROBLEM

被引：52

作者：

HOOKER, JN ^{[1
]}

机构：

[1] CARNEGIE MELLON UNIV, GRAD SCH IND ADM, PITTSBURGH, PA 15213 USA

来源：

JOURNAL OF LOGIC PROGRAMMING | 1993年 / 15卷 / 1-2期

关键词：

D O I：

10.1016/0743-1066(93)90018-C

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Given a set of clauses in propositional logic that have been found satisfiable, we wish to check whether satisfiability is preserved when the clause set is incremented with a new clause. We describe an efficient implementation of the Davis-Putnam-Loveland algorithm for checking the satisfiability of the original set. We then show how to modify the algorithm for efficient solution of the incremental problem, which is NP-complete. We also report computational results.

引用

页码：177 / 186

页数：10

共 50 条

[41] ISSATA: An algorithm for solving the 3-satisfiability problem based on improved strategy
Guo, Ping
Zhang, Yang
APPLIED INTELLIGENCE, 2022, 52 (02) : 1740 - 1751
[42] pEvoSAT: A Novel Permutation Based Genetic Algorithm for Solving the Boolean Satisfiability Problem
Shabash, Boris
Wiese, Kay C.
GECCO'13: PROCEEDINGS OF THE 2013 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2013, : 861 - 868
[43] Algorithm of Strengthened Configuration Checking and Clause Weighting for Solving the Minimum Satisfiability Problem
Zhou J.-P.
Ren X.-L.
Yin Q.
Li R.-Z.
Yin M.-H.
Jisuanji Xuebao/Chinese Journal of Computers, 2018, 41 (04): : 745 - 759
[44] ISSATA: An algorithm for solving the 3-satisfiability problem based on improved strategy
Ping Guo
Yang Zhang
Applied Intelligence, 2022, 52 : 1740 - 1751
[45] Incremental Satisfiability and Implication for UTVPI Constraints
Schutt, Andreas
Stuckey, Peter J.
INFORMS JOURNAL ON COMPUTING, 2010, 22 (04) : 514 - 527
[46] Solving the 3-Satisfiability Problem Using Network-Based Biocomputation
Zhu, Jingyuan
Salhotra, Aseem
Meinecke, Christoph Robert
Surendiran, Pradheebha
Lyttleton, Roman
Reuter, Danny
Kugler, Hillel
Diez, Stefan
Mansson, Alf
Linke, Heiner
Korten, Till
ADVANCED INTELLIGENT SYSTEMS, 2022, 4 (12)
[47] Distributed problem solving without communication - An examination of computationally hard satisfiability problems
Liu, JM
Jin, XL
Han, J
INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 2002, 16 (08) : 1041 - 1064
[48] SATIRE: A new incremental satisfiability engine
Whittemore, J
Kim, J
Sakallah, K
38TH DESIGN AUTOMATION CONFERENCE PROCEEDINGS 2001, 2001, : 542 - 545
[49] HYBRID INCREMENTAL ALGORITHMS FOR BOOLEAN SATISFIABILITY
Letombe, Florian
Marques-Silva, Joao
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2012, 21 (06)
[50] Solving peptide sequencing as satisfiability
Bruni, Renato
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2008, 55 (05) : 912 - 923

← 1 2 3 4 5 →