Skip to content

Research at St Andrews

How people visually represent discrete constraint problems

Research output: Contribution to journalArticle

Abstract

Problems such as timetabling or personnel allocation can be modeled and solved using discrete constraint programming languages. However, while existing constraint solving software solves such problems quickly in many cases, these systems involve specialized languages that require significant time and effort to learn and apply. These languages are typically text-based and often difficult to interpret and understand quickly, especially for people without engineering or mathematics backgrounds. Visualization could provide an alternative way to model and understand such problems. Although many visual programming languages exist for procedural languages, visual encoding of problem specifications has not received much attention. Future problem visualization languages could represent problem elements and their constraints unambiguously, but without unnecessary cognitive burdens for those needing to translate their problem's mental representation into diagrams. As a first step towards such languages, we executed a study that catalogs how people represent constraint problems graphically. We studied three groups with different expertise: non-computer scientists, computer scientists and constraint programmers and analyzed their marks on paper (e.g., arrows), gestures (e.g., pointing) and the mappings to problem concepts (e.g., containers, sets). We provide foundations to guide future tool designs allowing people to effectively grasp, model and solve problems through visual representations.
Close

Details

Original languageEnglish
Pages (from-to)1-14
Number of pages14
JournalIEEE Transactions on Visualization and Computer Graphics
VolumeEarly Access
DOIs
Publication statusPublished - 24 Jan 2019

    Research areas

  • Problem visualization, Problem modeling, Problem solving, Constraint programming, Visual programming languages

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Closed frequent itemset mining with arbitrary side constraints

    Kocak, G., Akgun, O., Miguel, I. J. & Nightingale, P. W., 17 Nov 2018, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). Tong, H., Li, Z. J., Zhu, F. & Yu, J. (eds.). IEEE Computer Society, p. 1224 - 1232 9 p. 8637581

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Metamorphic testing of constraint solvers

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 727-736 (Lecture Notes in Computer Science; vol. 11008).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 11008).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. & Spracklen, P., Oct 2017, In : Artificial Intelligence. 251, p. 35-61 27 p.

    Research output: Contribution to journalArticle

Related by journal

  1. Construct-A-Vis: exploring the free-form visualization processes of children

    Bishop, F., Zagermann, J., Pfeil, U., Sanderson, G., Reiterer, H. & Hinrichs, U., 20 Aug 2019, In : IEEE Transactions on Visualization and Computer Graphics. Early Access, 10 p.

    Research output: Contribution to journalArticle

  2. Design by immersion: a transdisciplinary approach to problem-driven visualizations

    Hall, K. W., Bradley, A., Hinrichs, U., Huron, S., Wood, J., Collins, C. & Carpendale, S., 26 Aug 2019, In : IEEE Transactions on Visualization and Computer Graphics. Early Access, 10 p.

    Research output: Contribution to journalArticle

  3. The Elicitation Interview technique: capturing people’s experiences of data representations

    Hogan, T., Hinrichs, U. & Hornecker, E., 31 Dec 2016, In : IEEE Transactions on Visualization and Computer Graphics. 22, 12, p. 2579-2593 15 p.

    Research output: Contribution to journalArticle

  4. Speculative practices: utilizing InfoVis to explore untapped literary collections

    Hinrichs, U., Forlini, S. & Moynihan, B., 12 Aug 2015, In : IEEE Transactions on Visualization and Computer Graphics. 22, 1, p. 429-438 9 p.

    Research output: Contribution to journalArticle

ID: 257478580

Top