Login / Signup

Practical Aspects of SAT Solving.

Armin Biere
Published in: PAAR@IJCAR (2012)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • data structure
  • search tree
  • sat problem
  • boolean optimization
  • special case
  • state space