Login / Signup
Lower Bounds for Width-Restricted Clause Learning on Small Width Formulas.
Eli Ben-Sasson
Jan Johannsen
Published in:
SAT (2010)
Keyphrases
</>
lower bound
upper bound
branch and bound algorithm
sat solvers
artificial intelligence
clause learning
genetic algorithm
np hard
language model