Login / Signup

Efficient SAT solving: beyond supercubes.

Domagoj BabicJesse D. BinghamAlan J. Hu
Published in: DAC (2005)
Keyphrases
  • sat solving
  • sat solvers
  • computational complexity
  • information retrieval systems
  • search strategy