P. Bouvier, Visual Tools to Debug Prolog IV Programs, 2000.
DOI : 10.1007/10722311_7

C. Bracchi, C. Gefflot, and F. Paulin, Combining Propagation Information and Search-Tree Visualization using OPL Studio, Proceedings of WLPE'01. Cyprus, pp.27-39, 2001.

T. Brady, J. Marks, and K. Ryall, The Second ACM UIST Interface- Design Contest, 15th ACM Symposium on User Interface Software and Technology, 2002.

M. Carro and M. V. Hermenegildo, Tools for Constraint Visualization: The VIFID/TRIFID Tool, pp.253-272, 2000.
DOI : 10.1007/10722311_11

URL : http://oa.upm.es/14902/

M. Carro and M. V. Hermenegildo, Tools for Search Tree Visualization: The APT Tool, pp.237-252, 2000.
DOI : 10.1007/10722311_10

C. W. Choi, M. Henz, and K. B. Ng, Components for State Restoration in Tree Search, Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming CP'01). Cyprus, pp.240-255, 2001.
DOI : 10.1007/3-540-45578-7_17

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

R. Coolen, Apport de la réalité virtuelle dans unprobì eme de placement 2D, 2003.

P. Deransart, M. Ducassé, and L. Langevine, A Generic Trace Model for Finite Domain Solvers, Proceedings of User Interaction in Constraint Satisfaction (UICS'02). Cornell University (USA), pp.32-46, 2002.

P. Deransart, M. V. Hermenegildo, and J. Maluszynski, Analysis and Visualization Tools for Constraint Programming, of Lecture Notes in Computer Science, 2000.
DOI : 10.1007/10722311

D. Diaz, GNU-Prolog user's manual'. http, 1999.

M. Eisenstadt and M. Brayshaw, The transparent PROLOG machine (TPM): an execution model and graphical debugger for logic programming, The Journal of Logic Programming, vol.5, issue.4, pp.277-342, 1988.
DOI : 10.1016/0743-1066(88)90001-5

URL : http://doi.org/10.1016/0743-1066(88)90001-5

F. Fages, J. Fowler, and T. Sola, A Reactive Constraint Logic Programming Scheme, Proc. International Conference on Logic Programming ICLP'95, 1995.

M. Ghoniem, N. Jussien, and J. Fekete, Visualizing explanations to exhibit dynamic structure in constraint problems, Proceedings of the Third International Workshop on User-Interaction in Constraint Satisfaction. Kinsale, Ireland, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00448540

S. Goethel, OpenGL for Java online documentation, 1997.

F. Goualard and F. Benhamou, A visualization tool for constraint program debugging, 14th IEEE International Conference on Automated Software Engineering, pp.110-117, 1999.
DOI : 10.1109/ASE.1999.802142

F. Goualard and F. Benhamou, Debugging Constraint Programs by Store Inspection, 2000.
DOI : 10.1007/10722311_12

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Jaffar and M. J. Maher, Constraint logic programming: a survey, The Journal of Logic Programming, vol.19, issue.20, pp.503-581, 1994.
DOI : 10.1016/0743-1066(94)90033-7

URL : http://doi.org/10.1016/0743-1066(94)90033-7

M. Meier, Debugging constraint programs, Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), pp.204-221, 1995.
DOI : 10.1007/3-540-60299-2_13

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Oadymppac, Tools for Dynamic Analysis and Debugging of Constraint Programs'. A French RNTL project

B. Schneiderman, Tree visualization with treemaps: 2D space filling approach, ACM Transactions on Graphics TOG'92, vol.11, issue.1, 1992.

C. Schulte, Oz Explorer: A visual constraint programming tool, Proceedings of the Fourteenth International Conference on Logic Programming (Iclp'97, pp.286-300, 1997.
DOI : 10.1007/3-540-61756-6_108

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

H. Simonis, A. Aggoun, N. Beldiceanu, and E. Bourreau, Complex Constraint Abstraction: Global Constraint Visualisation, p.12, 2000.
DOI : 10.1007/10722311_13

H. Simonis, T. Cornelissen, V. Dumortier, G. Fabris, F. Nanni et al., Using Constraint Visualisation Tools, p.13, 2000.
DOI : 10.1007/10722311_14

G. Smedbäck, M. Carro, and M. V. Hermenegildo, Interfacing Prolog and VRML and its Application to Constraint Visualization'. In: The Practical Application of Constraint Technologies and Lo gic programming, pp.453-471, 1999.

P. Van-hentenryck, Constraint satisfaction in Logic Programming, 1989.