Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorHoffmann, Ruth
dc.contributor.authorZhu, Xu
dc.contributor.authorAkgun, Ozgur
dc.contributor.authorNacenta, Miguel
dc.contributor.editorSolnon, Christine
dc.date.accessioned2022-07-28T13:30:01Z
dc.date.available2022-07-28T13:30:01Z
dc.date.issued2022-07-23
dc.identifier279477969
dc.identifier1436930e-0d00-4c7f-a6ad-ee33e4c98bd6
dc.identifier85135685326
dc.identifier.citationHoffmann , R , Zhu , X , Akgun , O & Nacenta , M 2022 , Understanding how people approach constraint modelling and solving . in C Solnon (ed.) , 28th International conference on principles and practice of constraint programming (CP 2022) . , 28 , Leibniz International Proceedings in Informatics (LIPIcs) , vol. 235 , Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing , Dagstuhl , 28th International Conference on Principles and Practice of Constraint Programming (CP 2022) , Haifa , Israel , 31/07/22 . https://doi.org/10.4230/LIPIcs.CP.2022.28en
dc.identifier.citationconferenceen
dc.identifier.isbn9783959772402
dc.identifier.issn1868-8969
dc.identifier.otherORCID: /0000-0002-1011-5894/work/116597800
dc.identifier.otherORCID: /0000-0002-9864-9654/work/116597910
dc.identifier.otherORCID: /0000-0001-9519-938X/work/116598017
dc.identifier.urihttps://hdl.handle.net/10023/25741
dc.descriptionFunding: This work is partially funded by NSERC Discovery Grant 2020-04401 (Canada). Xu Zhu: University of St Andrews and EPSRC grant DTG 1796157.en
dc.description.abstractResearch 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.
dc.format.extent18
dc.format.extent2662993
dc.language.isoeng
dc.publisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
dc.relation.ispartof28th International conference on principles and practice of constraint programming (CP 2022)en
dc.relation.ispartofseriesLeibniz International Proceedings in Informatics (LIPIcs)en
dc.subjectConstraint modellingen
dc.subjectHCIen
dc.subjectUser studyen
dc.subjectGrounded theoryen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectQA76 Computer softwareen
dc.subjectDASen
dc.subjectMCCen
dc.subject.lccQA75en
dc.subject.lccQA76en
dc.titleUnderstanding how people approach constraint modelling and solvingen
dc.typeConference itemen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.identifier.doi10.4230/LIPIcs.CP.2022.28
dc.identifier.urlhttps://doi.org/10.4230/LIPIcs.CP.2022.0en
dc.identifier.urlhttps://doi.org/10.5281/zenodo.6519842en


This item appears in the following Collection(s)

Show simple item record