2026
When Does Sparsity Help for k-Independent Set in Hypergraphs and Other Boolean CSPs?
Computing Research Repository (CoRR) 2026
2025
The Role of Regularity in (Hyper-)Clique Detection and Implications for Optimizing Boolean CSPs.
International Colloquium on Automata, Languages and Programming (ICALP) 2025
The Role of Regularity in (Hyper-)Clique Detection and Implications for Optimizing Boolean CSPs.
Computing Research Repository (CoRR) 2025
2023
Engineering a Preprocessor for Symmetry Detection.
Symposium on Experimental and Efficient Algorithms (SEA) 2023
Engineering a Preprocessor for Symmetry Detection.
Computing Research Repository (CoRR) 2023