A uniform approach to constraint-solving for lists, multisets, compact lists, and sets.

Agostino Dovier Carla Piazza Gianfranco Rossi

Published in: ACM Trans. Comput. Log. (2008)

Keyphrases

constraint solving
constraint satisfaction
constraint propagation
constraint logic programming
real valued
neural network
constraint satisfaction problems
constraint solver
search space
mobile robot
constraint programming
qualitative and quantitative