Sofia Brenner

16 papers A* 2A 3B 1Journal 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Combinatorial generation via permutation languages. VII. Supersolvable hyperplane arrangements.
Eur. J. Comb.
Sofia Brenner, Jean Cardinal, Thomas McConville, Arturo Merino, Torsten Mütze
2026 J jnl
Constant delay Gray code enumeration of ideals and antichains in posets.
CoRR
Sofia Brenner, Jirí Fink
2026 A* conf
Listing faces of polytopes.
SODA
Nastaran Behrooznia, Sofia Brenner, Arturo Merino, Torsten Mütze, Christian Rieck, Francesco Verciani
2026 J jnl
Satsuma: Structure-Based Symmetry Breaking in SAT.
J. Artif. Intell. Res.
Markus Anders, Sofia Brenner, Gaurav Rattan
2026 A* conf
Traversing regions of supersolvable hyperplane arrangements and their lattice quotients.
SODA
Sofia Brenner, Jean Cardinal, Thomas McConville, Arturo Merino, Torsten Mütze
2025 J jnl
Classification of countable 2-colored ultrahomogeneous graphs where each color class forms a disjoint union of cliques.
Eur. J. Comb.
Sofia Brenner, Irene Heinrich
2025 J jnl
Counterexample to Winkler's conjecture on Venn diagrams.
CoRR
Sofia Brenner, Linda Kleist, Torsten Mütze, Christian Rieck, Francesco Verciani
2025 A conf
Flipping Odd Matchings in Geometric and Combinatorial Settings.
GD
Oswin Aichholzer, Sofia Brenner, Joseph Dorfer, Hung P. Hoang, Daniel Perz, Christian Rieck, Francesco Verciani
2025 J jnl
Flipping odd matchings in geometric and combinatorial settings.
CoRR
Oswin Aichholzer, Sofia Brenner, Joseph Dorfer, Hung P. Hoang, Daniel Perz, Christian Rieck, Francesco Verciani
2025 J jnl
On minimum Venn diagrams.
CoRR
Sofia Brenner, Petr Gregor, Torsten Mütze, Francesco Verciani
2025 B conf
Symmetry Classes of Hamiltonian Cycles.
MFCS
Júlia Baligács, Sofia Brenner, Annette Lutz, Lena Volk
2025 J jnl
Symmetry classes of Hamiltonian cycles.
CoRR
Júlia Baligács, Sofia Brenner, Annette Lutz, Lena Volk
2024 A conf
Satsuma: Structure-Based Symmetry Breaking in SAT.
SAT
Markus Anders, Sofia Brenner, Gaurav Rattan
2024 A conf
The Complexity of Symmetry Breaking Beyond Lex-Leader.
CP
Markus Anders, Sofia Brenner, Gaurav Rattan
2024 J jnl
The Complexity of Symmetry Breaking Beyond Lex-Leader.
CoRR
Markus Anders, Sofia Brenner, Gaurav Rattan
2024 J jnl
satsuma: Structure-based Symmetry Breaking in SAT.
CoRR
Markus Anders, Sofia Brenner, Gaurav Rattan