Login / Signup

B-cubing theory: new possibilities for efficient SAT-solving.

Domagoj BabicJesse D. BinghamAlan J. Hu
Published in: HLDVT (2005)
Keyphrases
  • sat solving
  • dynamic programming
  • constraint satisfaction
  • search tree
  • randomly generated