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 条

[1] Solving incremental satisfiability
Mouhoub, Malek
Sadaoui, Samira
INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2007, 16 (01) : 139 - 147
[2] On solving stack-based incremental satisfiability problems
Kim, J
Whittemore, J
Sakallah, K
2000 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, 2000, : 379 - 382
[3] Systematic versus non systematic methods for solving incremental satisfiability
Mouhoub, M
Sadaoui, S
INNOVATIONS IN APPLIED ARTIFICIAL INTELLIGENCE, 2004, 3029 : 543 - 551
[4] Solving the satisfiability problem through Boolean networks
Milano, M
Roli, A
AI*IA 99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1792 : 72 - 83
[5] SOLVING THE SATISFIABILITY PROBLEM BY USING RANDOMIZED APPROACH
WU, LC
TANG, CY
INFORMATION PROCESSING LETTERS, 1992, 41 (04) : 187 - 190
[6] The Incremental Satisfiability Problem for a Two Conjunctive Normal Form
De Ita Luna, Guillermo
Raymundo Marcial-Romero, J.
Hernandez, Jose A.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 328 : 31 - 45
[7] An effective molecular algorithm for solving the satisfiability problem
Yu, W
Zheng, WM
ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS, 2003, 2834 : 274 - 280
[8] Retrieving and matching RDF graphs by solving the satisfiability problem*
Liu, Sheng
Zhang, Jian
2006 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE, (WI 2006 MAIN CONFERENCE PROCEEDINGS), 2006, : 510 - +
[9] Solving the satisfiability problem by a parallel cellular genetic algorithm
Folino, G
Pizzuti, C
Spezzano, G
24TH EUROMICRO CONFERENCE - PROCEEDING, VOLS 1 AND 2, 1998, : 715 - 722
[10] Machine Learning Methods in Solving the Boolean Satisfiability Problem
Guo, Wenxuan
Zhen, Hui-Ling
Li, Xijun
Luo, Wanqian
Yuan, Mingxuan
Jin, Yaohui
Yan, Junchi
MACHINE INTELLIGENCE RESEARCH, 2023, 20 (05) : 640 - 655

← 1 2 3 4 5 →