Sat2025_award

Best Student Paper Award at SAT 2025!

Our paper Enumerating All Boolean Matches (with Alexander Nadel) received the Best Student Paper Award at the 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025). The companion open-source tool EBat is publicly available.