TY  - RPRT
TI  - Breaking Symmetries with Involutions
AU  - Michael Codish
AU  - Mikoláš Janota
PY  - 2026
DO  - 10.4230/lipics.cp.2025.8
UR  - https://arxiv.org/abs/2506.02903
ID  - 2506.02903
ER  -