SAT Test-of-Time Award
- “Combining Component Caching and Clause Learning for Effective Model Counting” by Tian Sang, Fahiem Bacchus, Paul Beame,
Henry A. Kautz, and Toniann Pitassi (appeared in Proceedings of SAT 2004)
Fahiem Bacchus Ph.D. Award in Satisfiability
- Winner: “Scalable SAT Solving and its Applications” (Ph.D. thesis), by Dominik Schreiber from Karlsruhe Institute of Technology
- Runner-up: “Certifying Correctness for Combinatorial Algorithms by Using Pseudo-Boolean Reasoning” (Ph.D. thesis), by Stephan Gocht from Lund University
- Runner-up: “Scalability for SAT-based Combinatorial Problem Solving” (Ph.D. thesis), by André Schidler from Technische Universität Wien.
SAT 2024 paper awards
- Best paper award: "The Strength of the Dominance Rule", by Leszek Aleksander Kołodziejczyk and Neil Thapen
- Best student paper award: "Speeding-up Pseudo-Boolean Propagation” by Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez Carbonell, and Rui Zhao (student author)
- Best student paper runner-up: “Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits” by Irfansha Shaik (student author) and Jaco van de Pol
- Best student paper runner-up: “Quantum Circuit Mapping Based on Incremental and Parallel SAT Solving” by Jiong Yang (student author), Yaroslav A. Kharkov, Yunong Shi, Marijn Heule, and Bruno Dutertre
- Best student paper runner-up: “eSLIM: Circuit Minimization with SAT Based Local Improvement” by Franz-Xaver Reichl (student author), Friedrich Slivovsky, and Stefan Szeider
