Peter J. Stuckey, Guido Tack. Enumerated Types and Type Extensions for MiniZinc. In Pierre Schaus, editor, Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings. Volume 13292 of Lecture Notes in Computer Science, pages 374-389, Springer, 2022. [doi]
Abstract is missing.