Sofia Brenner

According to our database, Sofia Brenner authored at least 11 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2026

Constant delay Gray code enumeration of ideals and antichains in posets.

Sofia Brenner, Jirí Fink

CoRR, March, 2026

Combinatorial generation via permutation languages. VII. Supersolvable hyperplane arrangements.

Sofia Brenner, Jean Cardinal, Thomas McConville, Arturo Merino, Torsten Mütze

Eur. J. Comb., 2026

Traversing regions of supersolvable hyperplane arrangements and their lattice quotients.

Sofia Brenner, Jean Cardinal, Thomas McConville, Arturo Merino, Torsten Mütze

Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026

Listing faces of polytopes.

Nastaran Behrooznia, Sofia Brenner, Arturo Merino, Torsten Mütze, Christian Rieck, Francesco Verciani

Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026

2025

On minimum Venn diagrams.

Sofia Brenner, Petr Gregor, Torsten Mütze, Francesco Verciani

CoRR, November, 2025

Counterexample to Winkler's conjecture on Venn diagrams.

Sofia Brenner, Linda Kleist, Torsten Mütze, Christian Rieck, Francesco Verciani

CoRR, March, 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

Symmetry Classes of Hamiltonian Cycles.

Júlia Baligács, Sofia Brenner, Annette Lutz, Lena Volk

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

Flipping Odd Matchings in Geometric and Combinatorial Settings.

Oswin Aichholzer, Sofia Brenner, Joseph Dorfer, Hung P. Hoang, Daniel Perz, Christian Rieck, Francesco Verciani

Proceedings of the 33rd International Symposium on Graph Drawing and Network Visualization, 2025

2024

Satsuma: Structure-Based Symmetry Breaking in SAT.

Markus Anders, Sofia Brenner, Gaurav Rattan

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

The Complexity of Symmetry Breaking Beyond Lex-Leader.

Markus Anders, Sofia Brenner, Gaurav Rattan

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024