@misc{indiciae29fda0c1d1d6, title = {Composable Constraint Models for Permutation Enumeration}, author = {Ruth Hoffmann and Özgür Akgün and Christopher Jefferson}, year = {2025}, doi = {10.46298/dmtcs.12620}, url = {https://arxiv.org/abs/2311.17581}, note = {Source identifier: 2311.17581} }