Login / Signup
CAMA: A Multi-Valued Satisfiability Solver.
Cong Liu
Andreas Kuehlmann
Matthew W. Moskewicz
Published in:
ICCAD (2003)
Keyphrases
</>
multi valued
quantified boolean formulas
boolean formula
sat solving
single valued
satisfiability problem
multiple valued
boolean functions
truth values
normal form
propositional logic
database
np complete
relational databases
sat solvers
logic synthesis
computational complexity