|
Volumn 2627, Issue , 2003, Pages 144-158
|
The effect of nogood recording in DPLL-CBJ SAT algorithms
|
Author keywords
[No Author keywords available]
|
Indexed keywords
CODES (SYMBOLS);
COMPUTER CIRCUITS;
COMPUTER PROGRAMMING LANGUAGES;
LOGIC PROGRAMMING;
MODEL CHECKING;
ALGORITHMS;
ARTIFICIAL INTELLIGENCE;
COMPUTATION THEORY;
PROBLEM SOLVING;
BACKTRACK SEARCH;
CSP TECHNIQUES;
PROPOSITIONAL SATISFIABILITY;
PRUNING TECHNIQUES;
SAT SOLVERS;
SEARCH REDUCTION;
STATE OF THE ART;
UNIT PROPAGATION;
CONSTRAINT SATISFACTION PROBLEMS;
CONSTRAINT THEORY;
CONSTRAINT SATISFACTION PROBLEMS (CSP);
SATISFIABILITY;
SEARCH PRUNING TECHNIQUES;
SOLVERS;
|
EID: 7044254606
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-36607-5_11 Document Type: Conference Paper |
Times cited : (7)
|
References (26)
|