An Empirical Study of Structural Constraint Solving Techniques.

Junaid Haroon Siddiqui Sarfraz Khurshid

Published in: ICFEM (2009)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
structural information
finite domain
optimal solution
simulated annealing
orders of magnitude
heuristic search