Authors Search About

Brenner, Sofia

1 publications

JAIR 2026 Satsuma: Structure-Based Symmetry Breaking in SAT Markus Anders, Sofia Brenner, Gaurav Rattan

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy