Mohammad Ghoniem Narendra Jussien Jean-Daniel Fekete VISEXP: Visualizing Constraint Solver Dynamics Using Explanations. 2004 conf/flairs/2004 FLAIRS Conference db/conf/flairs/flairs2004.html#GhoniemJF04