At SAT 2023, several outstanding contributions and individuals within the community were acknowledged by the SAT 2023 Program Committee and the SAT Association.

  • Despite the high quality of work submitted this year, no single paper distinctly stood out to warrant a Best Paper Award. However, three papers were highlighted for having received particular attention from the Program Committee for their noteworthy contributions. The Highlighted Papers are the following:

    • “Polynomial Calculus for MaxSAT”, by Ilario Bonacina, María-Luisa Bonet and Jordi Levy;

    • “Certified Knowledge Compilation with Application to Verified Model Counting”, by Randal Bryant, Wojciech Nawrocki, Jeremy Avigad and Marijn Heule;

    • “IPASIR-UP: User Propagators for CDCL”, by Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider and Armin Biere.

    We commend the authors of these papers for their valuable work.

  • The Best Student Paper Award was presented to Benjamin Böhm for the paper titled “QCDCL vs QBF Resolution: Further Insights”.

  • The Test-of-Time Award is given by the SAT Association for the most influential paper published in the SAT Conference 20 ± 1 years ago. This year, the award was presented to Armin Biere for the paper “Resolve and Expand”, presented at SAT 2004.

  • The SAT Association conferred a Distinguished Service Award on John Franco in honour of his long-lasting and foundational contributions to the series of International Conferences on Theory and Applications of Satisfiability Testing (SAT), the SAT association, and the Journal on Satisfiability, Boolean Modeling and Computation (JSAT).