Abstract
This tutorial presents the CHIP constraint logic programming system and some of its applications. We present the different constraint solving modules in the CHIP environment with special emphasis on the high-level global constraints in the finite domain solver.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A. Aggoun, N. Beldiceanu Extending CHIP in Order to Solve Complex Scheduling Problems. Journal of Mathematical and Computer Modelling, Vol. 17, No. 7, pages 57–73, 1993
G. Baues, P. Kay, P. Charlier Constraint Based Resource Allocation for Airline Crew Management ATTIS 94, Paris, April 1994
N. Beldiceanu, E. Contejean Introducing Global Constraints in CHIP. Journal of Mathematical and Computer Modelling, Vol 20, No 12, pp 97–123, 1994
M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS'88), pages 693–702, Tokyo, 1988.
P. Kay, H. Simonis Building Industrial CHIP Applications from Reusable Software Components 3rd Conference on Practical Applications of Prolog, Paris, April 1995
H. Simonis, N. Beldiceanu The CHIP System. COSYTEC Technical Report, April 1995
H. Simonis, T. Cornelissens Modelling Producer/Consumer Constraints First International Conference on Principles and Practice of Constraint Programming, Cassis, France, September 1995
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Simonis, H. (1995). The CHIP system and its applications. In: Montanari, U., Rossi, F. (eds) Principles and Practice of Constraint Programming — CP '95. CP 1995. Lecture Notes in Computer Science, vol 976. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60299-2_42
Download citation
DOI: https://doi.org/10.1007/3-540-60299-2_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60299-6
Online ISBN: 978-3-540-44788-7
eBook Packages: Springer Book Archive