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