(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.

Enrico Giunchiglia Marco Maratea Armando Tacchella

Published in: CP (2003)

Keyphrases

sat solvers
sat solving
boolean satisfiability
orders of magnitude
search strategies
sat instances
objective function
evolutionary algorithm
propositional satisfiability
search space
state space
search tree
sat problem