Constraint Solving by Narrowing in Combined Algebraic Domains.

Hélène Kirchner Christophe Ringeissen

Published in: ICLP (1994)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction
constraint satisfaction problems
constraint solver
constraint programming
real world
video sequences
dynamic programming
database design