Loading [a11y]/accessibility-menu.js
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search | IEEE Journals & Magazine | IEEE Xplore

What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search


Abstract:

Constraint programming allows difficult combinatorial problems to be modelled declaratively and solved automatically. Advances in solver technologies over recent years ha...Show More

Abstract:

Constraint programming allows difficult combinatorial problems to be modelled declaratively and solved automatically. Advances in solver technologies over recent years have allowed the successful use of constraint programming in many application areas. However, when a particular solver's search for a solution takes too long, the complexity of the constraint program execution hinders the programmer's ability to profile that search and understand how it relates to their model. Therefore, effective tools to support such profiling and allow users of constraint programming technologies to refine their model or experiment with different search parameters are essential. This paper details the first user-centred design process for visual profiling tools in this domain. We report on: our insights and opportunities identified through an on-line questionnaire and a creativity workshop with domain experts carried out to elicit requirements for analytical and visual profiling techniques; our designs and functional prototypes realising such techniques; and case studies demonstrating how these techniques shed light on the behaviour of the solvers in practice.
Published in: IEEE Transactions on Visualization and Computer Graphics ( Volume: 23, Issue: 1, January 2017)
Page(s): 281 - 290
Date of Publication: 08 August 2016

ISSN Information:

PubMed ID: 27875144

Funding Agency:


Contact IEEE to Subscribe

References

References is not available for this document.