Limitations of Restricted Branching in Clause Learning.

Matti Järvisalo Tommi A. Junttila

Published in: CP (2007)

Keyphrases

clause learning
sat solvers
search tree
sat solving
computational complexity
machine learning
orders of magnitude
information retrieval
search engine
cellular automata
combinatorial optimization
branch and bound
search strategies
satisfiability problem
max sat