Combining Propagation Information and Search Tree Visualization using ILOG OPL Studio. - Christiane Bracchi; Christophe Gefflot; Frederic Paulin (WLPE, 2001)