Login / Signup

Practical Aspects of SAT Solving.

Armin Biere
Published in: SMT@IJCAR (2012)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • boolean optimization
  • sat problem
  • constraint programming