You have Guest access.
Log In
Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché and Ralf Treinen
Front matter
1-46
Constraints and Constraint Solving: An Introduction
47-103
Constraint Solving on Terms
104-158
Combining Constraint Solving
159-201
Constraints and Theorem Proving
202-270
Functional and Constraint Logic Programming
271-309
Building Industrial Applications with Constraint Programming
Jean-Pierre Jouannaud and Ralf Treinen
Hubert Comon and Claude Kirchner
Franz Baader and Klaus U. Schulz
Harald Ganzinger and Robert Nieuwenhuis
Mario Rodríguez-Artalejo
Helmut Simonis
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info