Login / Signup
Mapping Problems with Finite-Domain Variables into Problems with Boolean Variables.
Carlos Ansótegui
Felip Manyà
Published in:
SAT (2004)
Keyphrases
</>
finite domain
machine learning
special case
decision problems
constraint programming
constraint propagation