Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables.

Carlos Anstegui, Felip Many

Browse the full SAT paper archive.