Login / Signup

Faster FDR Counterexample Generation Using SAT-Solving.

Hristina PalikarevaJoël OuaknineBill Roscoe
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)
Keyphrases
  • sat solving
  • boolean satisfiability
  • sat solvers
  • boolean optimization
  • model checking
  • search tree
  • sat problem
  • symmetry breaking
  • branch and bound algorithm
  • sat encodings
  • state space
  • domain specific