Özgür Akgün, Alan M. Frisch, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale. Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract). In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China. pages 6833-6838, ijcai.org, 2023. [doi]
Abstract is missing.