Login / Signup
A Complete Multi-valued SAT Solver.
Siddhartha Jain
Eoin O'Mahony
Meinolf Sellmann
Published in:
CP (2010)
Keyphrases
</>
multi valued
sat solvers
single valued
sat solving
orders of magnitude
max sat
sat problem
boolean satisfiability
constraint satisfaction
sat instances
search strategies
normal form
truth values
search space
boolean functions
sat encodings
database systems
boolean formula
object oriented
image sequences