1 Search Results for "Hoffmann, Ruth"

Document
DOI: 10.4230/LIPIcs.CP.2022.28
Understanding How People Approach Constraint Modelling and Solving

Authors: Ruth Hoffmann, Xu Zhu, Özgür Akgün, and Miguel A. Nacenta

Published in: LIPIcs, Volume 235, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022)

Abstract
Research in constraint programming typically focuses on problem solving efficiency. However, the way users conceptualise problems and communicate with constraint programming tools is often sidelined. How humans think about constraint problems can be important for the development of efficient tools that are useful to a broader audience. For example, a system incorporating knowledge on how people think about constraint problems can provide explanations to users and improve the communication between the human and the solver. We present an initial step towards a better understanding of the human side of the constraint solving process. To our knowledge, this is the first human-centred study addressing how people approach constraint modelling and solving. We observed three sets of ten users each (constraint programmers, computer scientists and non-computer scientists) and analysed how they find solutions for well-known constraint problems. We found regularities offering clues about how to design systems that are more intelligible to humans.
Cite as

Ruth Hoffmann, Xu Zhu, Özgür Akgün, and Miguel A. Nacenta. Understanding How People Approach Constraint Modelling and Solving. In 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 235, pp. 28:1-28:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{hoffmann_et_al:LIPIcs.CP.2022.28,
  author =	{Hoffmann, Ruth and Zhu, Xu and Akg\"{u}n, \"{O}zg\"{u}r and Nacenta, Miguel A.},
  title =	{{Understanding How People Approach Constraint Modelling and Solving}},
  booktitle =	{28th International Conference on Principles and Practice of Constraint Programming (CP 2022)},
  pages =	{28:1--28:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-240-2},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{235},
  editor =	{Solnon, Christine},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2022.28},
  URN =		{urn:nbn:de:0030-drops-166574},
  doi =		{10.4230/LIPIcs.CP.2022.28},
  annote =	{Keywords: Constraint Modelling, HCI, User Study, Grounded Theory}
}
  • Refine by Author
  • 1 Akgün, Özgür
  • 1 Hoffmann, Ruth
  • 1 Nacenta, Miguel A.
  • 1 Zhu, Xu

  • Refine by Classification
  • 1 Human-centered computing → Empirical studies in interaction design
  • 1 Theory of computation → Constraint and logic programming

  • Refine by Keyword
  • 1 Constraint Modelling
  • 1 Grounded Theory
  • 1 HCI
  • 1 User Study

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2022

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact