Abstract
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedies. Yet developing visualizations is a tedious activity requiring significant time and expertise. This paper presents a framework for the visualization of constraint-based local search (CBLS). Given a high-level model and a declarative visualization specification, the CBLS visualizer systematically produces animations to visualize constraints and objectives, violations, and conflicts, as well as the temporal behavior of these measures. The visualization specification is composed of a triple (what,where,how) indicating what to display, where, and how. The visualizer architecture is compositional and extensible, and focuses almost exclusively on static aspects, the dynamic aspects being automated by invariants. The paper highlights various functionalities of the visualizer and describes a blueprint for its implementation.
Keywords
- Constraint Programming
- Constraint Violation
- Variable Neighborhood Search
- Graphical Concept
- Visual Concept
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Partially supported by NSF awards DMI-0600384 & IIS-0642906 and ONR Award N000140610607.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Borning, A.: The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory. ACM Transaction on Programming Languages and Systems 3(4), 353–387 (1981)
Carro, M., Hermenegildo, M.: Tools for Constraint Visualisation: The VIFID/TRIFID Tool. In: Analysis and Visualization Tools for Constraint Programming (2000)
Carro, M., Hermenegildo, M.: Tools for Search-Tree Visualisation: The APT Tool.. In: Analysis and Visualization Tools for Constraint Programming (2000)
Deransart, P., Hermenegildo, M., Maluszynski, J. (eds.): Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Springer, London, UK (2000)
Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., Graf, T., Berthier, F.: The Constraint Logic Programming Language CHIP. In: Proceedings of the International Conference on Fifth-Generation Computer Systems (1988)
Goualard, F., Benhamou, F.: Debugging Constraint Programs by Store Inspection. In: Analysis and Visualization Tools for Constraint Programming (2000)
Helm, R., Marriott, K.: Declarative Graphics. In: Shapiro, E. (ed.) Third International Conference on Logic Programming. LNCS, vol. 225, pp. 513–527. Springer, Heidelberg (1986)
Hosobe, H.: A Scalable Linear Constraint Solver for User Interface Construction.. In: Dechter, R. (ed.) CP 2000. LNCS, vol. 1894, pp. 218–232. Springer, Heidelberg (2000)
Schulte, C.: Oz Explorer: A visual constraint programming tool. In: ICLP 1997, Leuven, Belgium, pp. 286–300 (July 1997)
Simonis, H., Aggoun, A.: Search-Tree Visualisation. In: Analysis and Visualization Tools for Constraint Programming (2000)
Simonis, H., Aggoun, A., Beldiceanu, N., Bourreau, E.: Complex Constraint Abstraction: Global Constraint Visualisation. In: Analysis and Visualization Tools for Constraint Programming (2000)
Sutherland, I.E.: Sketchpad, A Man-Machine Graphical Communication System. In: Outstanding Dissertations in the Computer Sciences. Garland Publishing (1963)
Van Hentenryck, P.: Constraint Programming as Declarative Algorithmics. In: Benhamou, F., Jussien, N., O’Sullivan, B. (eds.) Trends in Constraint Programming, Hermes (2007)
Van Hentenryck, P., Michel, L.: Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. In: AAAI 2007 (July 2007)
Van Hentenryck, P., Michel, L.: Constraint-Based Local Search. MIT Press, Cambridge (2005)
Van Hentenryck, P., Michel, L., Paulin, P., Puget, J.F.: The OPL Studio Modeling System. In: Kallrath, J. (ed.) Modeling Languages in Mathematical Optimization, pp. 43–76. Kluwer Academic Publishers, Dordrecht (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dooms, G., Van Hentenryck, P., Michel, L. (2007). Model-Driven Visualizations of Constraint-Based Local Search. In: Bessière, C. (eds) Principles and Practice of Constraint Programming – CP 2007. CP 2007. Lecture Notes in Computer Science, vol 4741. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74970-7_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-74970-7_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74969-1
Online ISBN: 978-3-540-74970-7
eBook Packages: Computer ScienceComputer Science (R0)