2026
Timo Fritsch, Marvin Künnemann, Mirza Redzic, Julian Stieß
When Does Sparsity Help for k-Independent Set in Hypergraphs and Other Boolean CSPs?
International Colloquium on Automata, Languages and Programming (ICALP) 2026
2025
Nick Fischer, Marvin Künnemann, Mirza Redzic, Julian Stieß
The Role of Regularity in (Hyper-)Clique Detection and Implications for Optimizing Boolean CSPs.
International Colloquium on Automata, Languages and Programming (ICALP) 2025
2023
Markus Anders, Pascal Schweitzer, Julian Stieß
Engineering a Preprocessor for Symmetry Detection.
Symposium on Experimental and Efficient Algorithms (SEA) 2023