2025
The Role of Regularity in (Hyper-)Clique Detection and Implications for Optimizing Boolean CSPs.
International Colloquium on Automata, Languages and Programming (ICALP) 2025
2023
Engineering a Preprocessor for Symmetry Detection.
Symposium on Experimental and Efficient Algorithms (SEA) 2023