The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Proceedings of the Third International Conference on Logic Programming
Tools for Search-Tree Visualisation: The APT Tool
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Tools for Constraint Visualisation: The VIFID/TRIFID Tool
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Debugging Constraint Programs by Store Inspection
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
CP '95 Proceedings of the First International Conference on Principles and Practice of Constraint Programming
Complex Constraint Abstraction: Global Constraint Visualisation
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Sketchpad: A man-machine graphical communication system (Outstanding dissertations in the computer sciences)
Constraint-Based Local Search
Synthesis of constraint-based local search algorithms from high-level models
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A generic visualization platform for CP
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Hi-index | 0.00 |
Visualization is often invaluable to understand the behavior of optimization algorithms, identify their bottlenecks or pathological behaviors, and suggest remedial techniques. Yet developing visualizations is often a tedious activity requiring significant time and expertise. This paper presents a framework for the visualization of constraint-based local search (CBLS) algorithms. 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 declarative and typically composed of a triple (what,where,how) indicating what to display, where, and with which graphical objects. The visualizer architecture is compositional and extensible. It provides building blocks which can be assembled freely by the user and focuses almost exclusively on static aspects, the dynamic aspects being automated by the use of invariants. The paper highlights various functionalities of the visualizer and describes a blueprint for its implementation.