The Complexity of Symmetry Breaking Beyond Lex-Leader. - Markus Anders; Sofia Brenner; Gaurav Rattan (CP, 2024)

Satsuma: Structure-Based Symmetry Breaking in SAT. - Markus Anders; Sofia Brenner; Gaurav Rattan (SAT, 2024)

Symmetry Classes of Hamiltonian Cycles. - Júlia Baligács; Sofia Brenner; Annette Lutz; Lena Volk (MFCS, 2025)

Classification of countable 2-colored ultrahomogeneous graphs where each color class forms a disjoint union of cliques. - Sofia Brenner; Irene Heinrich (Eur. J. Comb., 2025)

Counterexample to Winkler's conjecture on Venn diagrams. - Sofia Brenner; Linda Kleist; Torsten Mütze; Christian Rieck; Francesco Verciani (CoRR, 2025)