TY - GEN
T1 - A generic visualization platform for CP
AU - Simonis, Helmut
AU - Davern, Paul
AU - Feldman, Jacob
AU - Mehta, Deepak
AU - Quesada, Luis
AU - Carlsson, Mats
PY - 2010
Y1 - 2010
N2 - In this paper we describe the design and implementation of CP-Viz, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, and the state of constraints and variables for a post-mortem analysis of a constraint program. Different to most previous visualization tools, it is system independent, using a light-weight, intermediate XML format to exchange information between solvers and the visualization tools. CP-Viz is available under an open-source licence, and has already been interfaced to four different constraint systems.
AB - In this paper we describe the design and implementation of CP-Viz, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, and the state of constraints and variables for a post-mortem analysis of a constraint program. Different to most previous visualization tools, it is system independent, using a light-weight, intermediate XML format to exchange information between solvers and the visualization tools. CP-Viz is available under an open-source licence, and has already been interfaced to four different constraint systems.
UR - https://www.scopus.com/pages/publications/78149247319
U2 - 10.1007/978-3-642-15396-9_37
DO - 10.1007/978-3-642-15396-9_37
M3 - Conference proceeding
AN - SCOPUS:78149247319
SN - 364215395X
SN - 9783642153952
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 460
EP - 474
BT - Principles and Practice of Constraint Programming, CP 2010 - 16th International Conference, Proceedings
PB - Springer Verlag
T2 - 16th International Conference on Principles and Practice of Constraint Programming, CP 2010
Y2 - 6 September 2010 through 10 September 2010
ER -