Sofia Brenner

According to our database, Sofia Brenner authored at least 2 papers in 2024.

Collaborative distances:

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

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