Mohammad Ghoniem Hadrien Cambazard Jean-Daniel Fekete Narendra Jussien Peeking in solver strategies using explanations visualization of dynamic graphs for constraint programming. 27-36 2005 conf/softvis/2005 SOFTVIS http://doi.acm.org/10.1145/1056018.1056022 db/conf/softvis/softvis2005.html#GhoniemCFJ05