Login / Signup
Uniform Reduction to SAT
Predrag Janicic
Published in:
Log. Methods Comput. Sci. (2010)
Keyphrases
</>
sat solvers
satisfiability problem
search algorithm
database
sat problem
linear array
information systems
search strategies
boolean satisfiability
sat encodings