Sofia Brenner

According to our database, Sofia Brenner authored at least 5 papers between 2024 and 2025.

Collaborative distances:

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

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

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