CAMA: A Multi-Valued Satisfiability Solver.

Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz

Browse the full ICCAD paper archive.