Cover transducers for functions with finite domain.

Jean-Marc Champarnaud Franck Guingne Georges Hansel

Published in: Int. J. Found. Comput. Sci. (2005)

Keyphrases

finite domain
constraint satisfaction problems
constraint propagation
constraint programming
constraint logic programming
satisfiability problem
constraint solving
database
objective function
cellular automata
constraint satisfaction