Solvi: A visual constraint modeling tool
| dc.contributor.author | Zhu, Xu | |
| dc.contributor.author | Nacenta, Miguel | |
| dc.contributor.author | Akgün, Özgür | |
| dc.contributor.author | Zenkovitch, Daniel | |
| dc.date.accessioned | 2024-03-15T15:48:18Z | |
| dc.date.available | 2024-03-15T15:48:18Z | |
| dc.date.issued | 2024 | |
| dc.description | The authors would like to thank Daniel Zenkovitch for his input into the Solvi application development. | |
| 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.description.reviewstatus | Reviewed | |
| dc.description.scholarlevel | Faculty | |
| dc.description.sponsorship | 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 | |
| dc.identifier.citation | Zhu, X., Nacenta, M. A., Akgün, Ö., & Zenkovitch, D. (2024). Solvi: A visual constraint modeling tool. Journal of Computer Languages, 78, 101242. https://doi.org/10.1016/j.cola.2023.101242 | |
| dc.identifier.uri | https://doi.org/10.1016/j.cola.2023.101242 | |
| dc.identifier.uri | https://hdl.handle.net/1828/16099 | |
| dc.language.iso | en | |
| dc.publisher | Journal of Computer Languages | |
| dc.rights | Attribution 4.0 International | en |
| dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
| dc.subject | constraints programming | |
| dc.subject | visualization | |
| dc.subject | visual modeling | |
| dc.subject | visual language | |
| dc.subject | human computer interaction | |
| dc.subject.department | Department of Computer Science | |
| dc.title | Solvi: A visual constraint modeling tool | |
| dc.type | Article |