| 2026 | AAAI | Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables. | Markus Anders, Bart Bogaerts, Benjamin Bog, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordstrm, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan |
| 2026 | CP | On Symmetries and Transformations. | Daimy Van Caudenberg, Markus Anders, Bart Bogaerts |
| 2026 | ESA | Symmetry-Preserving Graph Compression. | Markus Anders, Manuel Penschuck, Pascal Schweitzer |
| 2026 | SAT | Simplify, Order, Break, Repeat. | Markus Anders, Cayden R. Codel, Marijn J. H. Heule |
| 2026 | TACAS | Orbitopal Fixing in SAT. | Markus Anders, Cayden R. Codel, Marijn J. H. Heule |
| 2024 | CP | The Complexity of Symmetry Breaking Beyond Lex-Leader. | Markus Anders, Sofia Brenner, Gaurav Rattan |
| 2024 | SAT | Satsuma: Structure-Based Symmetry Breaking in SAT. | Markus Anders, Sofia Brenner, Gaurav Rattan |
| 2023 | SAT | Algorithms Transcending the SAT-Symmetry Interface. | Markus Anders, Pascal Schweitzer, Mate Soos |
| 2022 | SAT | SAT Preprocessors and Symmetry. | Markus Anders |
| 2021 | ALENEX | Engineering a Fast Probabilistic Isomorphism Test. | Markus Anders, Pascal Schweitzer |
| 2021 | ESA | Parallel Computation of Combinatorial Symmetries. | Markus Anders, Pascal Schweitzer |
| 2021 | ICALP | Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms. | Markus Anders, Pascal Schweitzer |
| 2021 | ICALP | Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case. | Markus Anders, Pascal Schweitzer, Florian Wetzels |
| 2021 | ISAAC | A Characterization of Individualization-Refinement Trees. | Markus Anders, Jendrik Brachter, Pascal Schweitzer |