Limitations of restricted branching in clause learning.

Matti Järvisalo Tommi A. Junttila

Published in: Constraints An Int. J. (2009)

Keyphrases

clause learning
sat solvers
search tree
sat solving
satisfiability problem
artificial intelligence
propositional satisfiability
state space
branch and bound