Login / Signup
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms.
Inês Lynce
João P. Marques Silva
Published in:
International Workshop on Constraint Solving and Constraint Logic Programming (2002)
Keyphrases
</>
sat solvers
computationally efficient
propositional satisfiability
learning algorithm
optimization problems
theoretical analysis
data structure
computational complexity
computational cost
worst case
np complete
orders of magnitude
sat solving