Login / Signup

Faster SAT solving with better CNF generation.

Benjamin ChambersPanagiotis ManoliosDaron Vroon
Published in: DATE (2009)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • sat problem
  • boolean optimization
  • search space
  • max sat
  • sat instances
  • lower bound
  • search tree