Login / Signup

Adaptive Application of SAT Solving Techniques.

Ohad ShachamKaren Yorav
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • sat solving
  • sat solvers
  • computational complexity
  • evolutionary algorithm
  • domain specific
  • model checking