Attributed Variables for Dynamic Constraint Solving.

Published in: INAP (2001)

Keyphrases

constraint solving
constraint logic programming
finite domain
constraint propagation
dynamic environments
constraint satisfaction
constraint solver
object oriented
special case
logic programs
orders of magnitude