Helmut Simonis Trijntje Cornelissens Veroniek Dumortier Giovanni Fabris F. Nanni Adriano Tirabosco Using Constraint Visualisation Tools. 321-356 2000 conf/discipl/2000 Analysis and Visualization Tools for Constraint Programming db/conf/discipl/discipl2000.html#SimonisCDFNT00