2026

Timo Fritsch, Marvin Künnemann, Mirza Redzic, Julian Stieß
When Does Sparsity Help for k-Independent Set in Hypergraphs and Other Boolean CSPs?
Computing Research Repository (CoRR) 2026
bibtexurl

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
bibtexurl
Nick Fischer, Marvin Künnemann, Mirza Redzic, Julian Stieß
The Role of Regularity in (Hyper-)Clique Detection and Implications for Optimizing Boolean CSPs.
Computing Research Repository (CoRR) 2025
bibtexurl

2023

Markus Anders, Pascal Schweitzer, Julian Stieß
Engineering a Preprocessor for Symmetry Detection.
Symposium on Experimental and Efficient Algorithms (SEA) 2023
bibtexurl
Markus Anders, Pascal Schweitzer, Julian Stieß
Engineering a Preprocessor for Symmetry Detection.
Computing Research Repository (CoRR) 2023
bibtexurl