Mapping Many-Valued CNF Formulas to Boolean CNF Formulas.

Carlos Ansótegui Felip Manyà

Published in: ISMVL (2005)

Keyphrases

cnf formula
conjunctive normal form
np complete
max sat
knowledge compilation
sat problem
boolean formula
truth values
satisfiability problem
multi valued
propositional formulas
databases
data structure
computational complexity
lower bound