![]() |
Volumn 3142, Issue , 2004, Pages 84-96
|
Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas
|
Author keywords
[No Author keywords available]
|
Indexed keywords
FORESTRY;
TREES (MATHEMATICS);
BRANCHING HEURISTICS;
CONTEMPORARY ALGORITHMS;
DPLL ALGORITHM;
MYOPIC ALGORITHM;
PROPOSITIONAL SATISFIABILITY PROBLEMS;
RECURSION TREES;
RESOLUTION PROOFS;
UNSATISFIABLE FORMULAS;
ALGORITHMS;
|
EID: 35048869086
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/978-3-540-27836-8_10 Document Type: Article |
Times cited : (4)
|
References (15)
|