Adding Constraint Solving to Mercury.

Ralph Becket Maria J. García de la Banda Kim Marriott Zoltan Somogyi Peter J. Stuckey Mark Wallace

Published in: PADL (2006)

Keyphrases

constraint solving
constraint propagation
constraint satisfaction problems
constraint logic programming
constraint satisfaction
constraint solver
constraint programming
path consistency