Using a Choice Function for Guiding Enumeration in Constraint Solving.

Broderick Crawford Carlos Castro Éric Monfroy

Published in: MICAI (Special Sessions) (2010)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
search space
special case