Login / Signup
A Study of Encodings of Constraint Satisfaction Problems with 0/1 Variables.
Patrick Prosser
Evgeny Selensky
Published in:
International Workshop on Constraint Solving and Constraint Logic Programming (2002)
Keyphrases
</>
constraint satisfaction problems
non binary
constraint satisfaction
constraint propagation
finite domain
soft constraints
search space
constraint networks
combinatorial problems
product configuration
constraint graph
configuration problems
arithmetic constraints
np hard
arc consistency
graph coloring problems