Login / Signup
Lower bounds for width-restricted clause learning on small width formulas.
Eli Ben-Sasson
Jan Johannsen
Published in:
Electron. Colloquium Comput. Complex. (2010)
Keyphrases
</>
lower bound
clause learning
upper bound
sat solvers
artificial intelligence
constraint satisfaction problems
branch and bound algorithm
max sat
computational properties