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]
@inproceedings{StuckeyT22, title = {Enumerated Types and Type Extensions for MiniZinc}, author = {Peter J. Stuckey and Guido Tack}, year = {2022}, doi = {10.1007/978-3-031-08011-1_25}, url = {https://doi.org/10.1007/978-3-031-08011-1_25}, researchr = {https://researchr.org/publication/StuckeyT22}, cites = {0}, citedby = {0}, pages = {374-389}, booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings}, editor = {Pierre Schaus}, volume = {13292}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-031-08011-1}, }