Complete sat solvers for many-valued cnf formulas

Tesis doctoral de Carlos José Ansótegui Gil Sats is formally defined as the problem of deciding the satisfiability of a […]

, , , , ,