Combining propagation information and search tree visualization using ILOG OPL studio (0)

by C Bracchi, C Gefflot, F Paulin
Venue:Proceedings of the Eleventh International Workshop on Logic Programming Environments (WLPE’01), Paphos, Cyprus