TY  - RPRT
TI  - Orbitopal Fixing in SAT
AU  - Markus Anders
AU  - Cayden Codel
AU  - Marijn J. H. Heule
PY  - 2026
UR  - https://arxiv.org/abs/2601.16855
ID  - 2601.16855
ER  -