Solvi : a visual constraint modeling tool
MetadataShow full item record
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.
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
Journal of Computer Languages
DescriptionCurrent 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.
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.