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

Agostino Dovier Carla Piazza Gianfranco Rossi

Published in: CoRR (2003)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint programming
search algorithm
orders of magnitude
database design