Automated Symmetric Constructions in Discrete Geometry

@inproceedings{subercaseaux2025symmetric,
  title = {Automated Symmetric Constructions in Discrete Geometry},
  author = {Bernardo Subercaseaux and Ethan Mackey and Long Qian and Marijn Heule},
  year = {2025},
  booktitle = {International Conference on Intelligent Computer Mathematics (CICM)},
  pages = {29--47},
  doi = {10.1007/978-3-032-07021-0_3},
  eprint = {2506.00224},
  archivePrefix = {arXiv}
}