A Methodological View of Constraint Solving

Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner. A Methodological View of Constraint Solving. Constraints, 4(4):337-361, 1999.

Abstract

Abstract is missing.