A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms.

Hélène Kirchner Christophe Ringeissen

Published in: JICSLP (1992)

Keyphrases

constraint solver
optimization problems
constraint solving
constraint programming
computational complexity
constraint propagation