Automatic generation of rule-based constraint solvers over finite domains.

Slim Abdennadher Christophe Rigotti

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

Keyphrases

constraint solvers
constraint programming
constraint solving
automatically generate
solving problems
constraint satisfaction problems
expert systems
constraint solver
np hard
upper bound
combinatorial problems
set bounds propagation