Lower Bounds for Width-Restricted Clause Learning on Formulas of Small Width.

Eli Ben-Sasson Jan Johannsen

Published in: IJCAI (2011)

Keyphrases

lower bound
upper bound
sat solvers
knowledge representation
search engine
bayesian networks
objective function
max sat
clause learning