Solvi : a visual constraint modeling tool
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.
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
Publication
Journal of Computer Languages
Status
Peer reviewed
ISSN
2665-9182Type
Journal article
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.Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.