Abstract
In this chapter we describe some experiences with using constraint visualisation tools developed in the DiSCiPl project for the CHIP constraint programming system. We will first discuss their use on some standard examples where we can see how constraint visualisation can be used to detect performance problems and which type of improvements we can suggest. In a second part, we give an overview of some industrial CHIP applications, where the visualisation tools led to significant improvements in the applications. At the end, we present an analysis of the existing tools and some directions for further improvements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aggoun, A., Beldiceanu, N.: Extending CHIP in Order to Solve Complex Scheduling Problems. Journal of Mathematical and Computer Modeling 17(7), 57–73 (1993)
Beldiceanu, N., Bourreau, E., Chan, P., Rivreau, D.: Partial Search Strategy in CHIP. In: 2nd International Conference on Meta-heuristics, Sophia-Antipolis, France (July 1997)
Beldiceanu, N., Bourreau, E., Rivreau, D., Simonis, H.: Solving Resource- Constrained Project Scheduling Problems with CHIP. In: Fifth International Workshop on Project Management and Scheduling, Poznan, Poland (April 1996)
Beldiceanu, N., Bourreau, E., Simonis, H.: A Note on Perfect Square Placement. COSYTEC Technical Report (January 1999)
Beldiceanu, N., Contejean, E.: Introducing Global Constraints in CHIP. Journal of Mathematical and Computer Modelling, Vol 20(12), 97–123 (1994)
Bourreau, E.: Traitement de Contraintes sur les graphes en programmation par contraintes. PhD thesis, L.I.P.N.,Université Paris 13 (March 1999)
Caseau, Y., Laburthe, F.: Cumulative Scheduling with Task Intervals. In: Maher, M. (ed.) Proceedings of the Joint International Conference and Symposium on Logic Programming. The MIT Press, Cambridge (1996)
Cornelissens, T.: General report on assessment of the tools. DiSCiPl deliverable D.WP1.3.M1.3 (April 30 1999)
Gent, I.P., Walsh, T.: CSPLIB: A Benchmark Library for Constraints. In: Jaffar, J. (ed.) Principles and Practice of Constraint Programming, CP 1999, Alexandria, VA, pp. 480–481 (October 1999)
Fabris, M., et al.: CP Debugging Needs and Tools. In: Proc. of the 3rd. International Workshop on Automated Debugging-AADEBUG 1997, Linköping, Sweden, pp. 103–122 (May 1997)
Gardner, M.: Scientific American (April 1975)
ROSEAUX. Exercices et Problèmes Résolus de Recherche Opérationnelle. Tome 3, Paris, pp. 279–282 (1983)
Simonis, H., Aggoun, A.: Search Tree Visualization. COSYTEC Technical Report, DiSCiPl deliverable D.WP3.1.M1.1-2 (September 1997)
Simonis, H.: Visualization in Constraint Logic Programming. PACLP 1999, London, UK (April 1999) (invited tutorial)
Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. The MIT Press, Boston (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Simonis, H., Cornelissens, T., Dumortier, V., Fabris, G., Nanni, F., Tirabosco, A. (2000). Using Constraint Visualisation Tools. In: Deransart, P., Hermenegildo, M.V., Małuszynski, J. (eds) Analysis and Visualization Tools for Constraint Programming. Lecture Notes in Computer Science, vol 1870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722311_14
Download citation
DOI: https://doi.org/10.1007/10722311_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41137-6
Online ISBN: 978-3-540-40016-5
eBook Packages: Springer Book Archive