Login / Signup

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

Eli Ben-SassonJan 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