Visual Tools to Debug Prolog IV Programs, 2000. ,
DOI : 10.1007/10722311_7
Combining Propagation Information and Search-Tree Visualization using OPL Studio, Proceedings of WLPE'01. Cyprus, pp.27-39, 2001. ,
The Second ACM UIST Interface- Design Contest, 15th ACM Symposium on User Interface Software and Technology, 2002. ,
Tools for Constraint Visualization: The VIFID/TRIFID Tool, pp.253-272, 2000. ,
DOI : 10.1007/10722311_11
URL : http://oa.upm.es/14902/
Tools for Search Tree Visualization: The APT Tool, pp.237-252, 2000. ,
DOI : 10.1007/10722311_10
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=10.1.1.8.8435
Apport de la réalité virtuelle dans unprobì eme de placement 2D, 2003. ,
A Generic Trace Model for Finite Domain Solvers, Proceedings of User Interaction in Constraint Satisfaction (UICS'02). Cornell University (USA), pp.32-46, 2002. ,
Analysis and Visualization Tools for Constraint Programming, of Lecture Notes in Computer Science, 2000. ,
DOI : 10.1007/10722311
GNU-Prolog user's manual'. http, 1999. ,
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
A Reactive Constraint Logic Programming Scheme, Proc. International Conference on Logic Programming ICLP'95, 1995. ,
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
OpenGL for Java online documentation, 1997. ,
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
Debugging Constraint Programs by Store Inspection, 2000. ,
DOI : 10.1007/10722311_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.1727
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
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=10.1.1.32.9064
Tools for Dynamic Analysis and Debugging of Constraint Programs'. A French RNTL project ,
Tree visualization with treemaps: 2D space filling approach, ACM Transactions on Graphics TOG'92, vol.11, issue.1, 1992. ,
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=10.1.1.140.7853
Complex Constraint Abstraction: Global Constraint Visualisation, p.12, 2000. ,
DOI : 10.1007/10722311_13
Using Constraint Visualisation Tools, p.13, 2000. ,
DOI : 10.1007/10722311_14
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. ,
Constraint satisfaction in Logic Programming, 1989. ,