What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search | IEEE Journals & Magazine | IEEE Xplore