Mapping CSP into Many-Valued SAT.

Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many

Browse the full SAT paper archive.