Login / Signup
Efficient SAT solving: beyond supercubes.
Domagoj Babic
Jesse D. Bingham
Alan J. Hu
Published in:
DAC (2005)
Keyphrases
</>
sat solving
sat solvers
computational complexity
information retrieval systems
search strategy