In recognition of outstanding and impactful contributions in areas of relevance to SAT 2025, five awards were presented at the conference.
Best Paper and Best Student Paper
The best paper and the best student paper awards were decided by a committee consisting of Daniel Le Berre, Massimo Lauria and Supratik Chakraborty who were working based on nominations by the program committee.
The Best Paper Award of SAT 2025 was conferred on the paper Streamlining Distributed SAT Solver Design 10.4230/LIPIcs.SAT.2025.27 by Dominik Schreiber, Niccolò Rigi-Luperti and Armin Biere for for providing new bases for the practical development of distributed SAT solving.
The Best Student Paper of SAT 2025 was conferred on the paper Enumerating All Boolean Matches 10.4230/LIPIcs.SAT.2025.22 by Alexander Nadel and Yogev Shalmon for for providing a new elegant and efficient SAT-based solution to a problem of interest to both academia and industry.
The award committee also selected to highlight two runners-up for the Best Student Paper Award:
- Fine-Grained Complexity Analysis of Dependency Quantified Boolean Formulas, by Che Cheng, Long-Hin Fung, Jie-Hong Roland Jiang, Friedrich Slivovsky and Tony Tan
- Efficient Certified Reasoning for Binarized Neural Networks, by Jiong Yang, Yong Kiam Tan, Mate Soos, Magnus O. Myreen and Kuldeep S. Meel.
SAT Test of Time Award
The SAT Test-of-Time Award is an award instituted by the SAT Association that is given annually to a selected paper from around 20 years back with a large impact on SAT and beyond.
The SAT 2025 Test-of-Time Award was conferred on the paper Effective Preprocessing in SAT Through Variable and Clause Elimination, which appeared in the proceedings of SAT 2005 and was authored by Niklas Eén and Armin Biere
Fahiem Bacchus PhD Award in Satisfiability
The Fahiem Bacchus PhD Award in Satisfiability award distinguishes one outstanding PhD thesis from the past year in the field of satisfiability, broadly construed. The award is named after Fahiem Bacchus, who made significant contributions to the theory and practice of SAT, to the SAT community, and to the SAT Association.
The 2025 Fahiem Bacchus Award was conferred at SAT 2025 on Xindi Zhang for his PhD thesis Hybrid Algorithms for SAT and SMT and Their Applications’, defended at the University of the Chinese Academy of Sciences in 2024.
Distinguished Service Award
The SAT Association conferred a Distinguished Service Award on Hans Kleine Büning in honour of his long-lasting and foundational contributions to the series of International Conferences on Theory and Applications of Satisfiability Testing (SAT) and the SAT Association.