Login / Signup
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables.
Carlos Ansótegui
Felip Manyà
Published in:
SAT (Selected Papers (2004)
Keyphrases
</>
finite domain
np complete
optimization problems
constraint programming
boolean variables
decision problems