Files in this item
Solvi : a visual constraint modeling tool
Item metadata
dc.contributor.author | Zhu, Xu | |
dc.contributor.author | Nacenta, Miguel | |
dc.contributor.author | Akgun, Ozgur | |
dc.contributor.author | Zenkovitch, Daniel | |
dc.date.accessioned | 2023-11-28T12:30:01Z | |
dc.date.available | 2023-11-28T12:30:01Z | |
dc.date.issued | 2024-03 | |
dc.identifier | 295344744 | |
dc.identifier | 5e48e244-0f80-4d26-b33a-20c4e72e9ff3 | |
dc.identifier | 85178055147 | |
dc.identifier.citation | Zhu , X , Nacenta , M , Akgun , O & Zenkovitch , D 2024 , ' Solvi : a visual constraint modeling tool ' , Journal of Computer Languages , vol. 78 , 101242 . https://doi.org/10.1016/j.cola.2023.101242 | en |
dc.identifier.issn | 2665-9182 | |
dc.identifier.other | ORCID: /0000-0001-9519-938X/work/146005198 | |
dc.identifier.uri | https://hdl.handle.net/10023/28778 | |
dc.description | Current Funding Sources List: Natural Sciences and Engineering Research Council of Canada, Canada Award Number: 2020-04401 — Recipient: Miguel A Nacenta. Engineering and Physical Sciences Research Council, United Kingdom Award Number: DTG1796157 — Recipient: Xu Zhu. | en |
dc.description.abstract | Discrete constraint problems surface often in everyday life. Teachers might group students with complex considerations and hospital administrators need to produce staff rosters. Constraint programming (CP) provides techniques to efficiently find solutions. However, there remains a key challenge: these techniques are still largely inaccessible because expressing constraint problems requires sophisticated programming and logic skills. In this work we contribute a language and tool that leverage knowledge of how non-experts conceptualize problems to facilitate the expression of constraint models. Additionally, we report the results of a study surveying the advantages and remaining challenges towards making CP accessible to the wider public. | |
dc.format.extent | 12 | |
dc.format.extent | 2255190 | |
dc.language.iso | eng | |
dc.relation.ispartof | Journal of Computer Languages | en |
dc.subject | Constraints programming | en |
dc.subject | Visualization | en |
dc.subject | Visual modeling | en |
dc.subject | Visual language | en |
dc.subject | human computer interaction | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | DAS | en |
dc.subject.lcc | QA75 | en |
dc.title | Solvi : a visual constraint modeling tool | en |
dc.type | Journal article | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.doi | 10.1016/j.cola.2023.101242 | |
dc.description.status | Peer reviewed | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.