| 2023 | Bounds on BDD-Based Bucket Elimination. | Stefan Mengel |
| 2023 | On CNF Conversion for Disjoint SAT Enumeration. | Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani |
| 2023 | SAT-Based Generation of Planar Graphs. | Markus Kirchweger, Manfred Scheucher, Stefan Szeider |
| 2023 | A SAT Solver's Opinion on the Erdős-Faber-Lovsz Conjecture. | Markus Kirchweger, Toms Peitl, Stefan Szeider |
| 2023 | An Analysis of Core-Guided Maximum Satisfiability Solvers Using Linear Programming. | George Katsirelos |
| 2023 | Prioritised Unit Propagation by Partitioning the Watch Lists. | Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis |
| 2023 | An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2023 | Effective Auxiliary Variables via Structured Reencoding. | Andrew Haberlandt, Harrison Green, Marijn J. H. Heule |
| 2023 | On the Complexity of k-DQBF. | Long-Hin Fung, Tony Tan |
| 2023 | AllSAT for Combinational Circuits. | Dror Fried, Alexander Nadel, Yogev Shalmon |
| 2023 | IPASIR-UP: User Propagators for CDCL. | Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere |
| 2023 | Separating Incremental and Non-Incremental Bottom-Up Compilation. | Alexis de Colnet |
| 2023 | Certified Knowledge Compilation with Application to Verified Model Counting. | Randal E. Bryant, Wojciech Nawrocki, Jeremy Avigad, Marijn J. H. Heule |
| 2023 | Quantum Graph-State Synthesis with SAT. | Sebastiaan Brand, Tim Coopmans, Alfons Laarman |
| 2023 | Polynomial Calculus for MaxSAT. | Ilario Bonacina, Maria Luisa Bonet, Jordi Levy |
| 2023 | CadiBack: Extracting Backbones with CaDiCaL. | Armin Biere, Nils Froleyks, Wenxi Wang |
| 2023 | The SAT Museum. | Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule |
| 2023 | Proof Complexity of Propositional Model Counting. | Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann |
| 2023 | Algorithms Transcending the SAT-Symmetry Interface. | Markus Anders, Pascal Schweitzer, Mate Soos |
| 2023 | Explaining SAT Solving Using Causal Reasoning. | Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel |
| 2023 | QCDCL vs QBF Resolution: Further Insights. | Benjamin Bhm, Olaf Beyersdorff |
| 2022 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2022 | Quantifier Elimination in Stochastic Boolean Satisfiability. | Hao-Ren Wang, Kuan-Hua Tu, Jie-Hong Roland Jiang, Christoph Scholl |
| 2022 | The Packing Chromatic Number of the Infinite Square Grid Is at Least 14. | Bernardo Subercaseaux, Marijn J. H. Heule |
| 2022 | Quantified CDCL with Universal Resolution. | Friedrich Slivovsky |