Composition sequences for functions over a finite domain.

Published in: Theor. Comput. Sci. (2003)

Keyphrases

finite domain
constraint satisfaction problems
constraint programming
constraint propagation
constraint logic programming
satisfiability problem
answer set programming
constraint solving
state variables
combinatorial problems
constraint solver