| 2025 | Scalable Precise Computation of Shannon Entropy. | Yong Lai, Haolong Tong, Zhenghang Xu, Minghao Yin |
| 2025 | Streamlining Distributed SAT Solver Design. | Dominik Schreiber, Niccol Rigi-Luperti, Armin Biere |
| 2024 | Small Unsatisfiable k-CNFs with Bounded Literal Occurrence. | Tianwei Zhang, Toms Peitl, Stefan Szeider |
| 2024 | Anytime Approximate Formal Feature Attribution. | Jinqiang Yu, Graham Farr, Alexey Ignatiev, Peter J. Stuckey |
| 2024 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2024 | Logical Algorithmics: From Relational Queries to Boolean Reasoning (Invited Talk). | Moshe Y. Vardi |
| 2024 | Scalable Proof Production and Checking in SMT (Invited Talk). | Cesare Tinelli |
| 2024 | Strategy Extraction by Interpolation. | Friedrich Slivovsky |
| 2024 | Revisiting SATZilla Features in 2024. | Hadar Shavit, Holger H. Hoos |
| 2024 | Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. | Irfansha Shaik, Jaco van de Pol |
| 2024 | Models and Counter-Models of Quantified Boolean Formulas (Invited Talk). | Martina Seidl |
| 2024 | eSLIM: Circuit Minimization with SAT Based Local Improvement. | Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider |
| 2024 | Speeding up Pseudo-Boolean Propagation. | Robert Nieuwenhuis, Albert Oliveras, Enric Rodrguez-Carbonell, Rui Zhao |
| 2024 | Dynamic Blocked Clause Elimination for Projected Model Counting. | Jean-Marie Lagniez, Pierre Marquis, Armin Biere |
| 2024 | The Strength of the Dominance Rule. | Leszek Aleksander Kolodziejczyk, Neil Thapen |
| 2024 | On Limits of Symbolic Approach to SAT Solving. | Dmitry Itsykson, Sergei Ovcharov |
| 2024 | Global Benchmark Database. | Ashlin Iser, Christoph Jabs |
| 2024 | Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem. | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
| 2024 | Towards Universally Accessible SAT Technology. | Alexey Ignatiev, Zi Li Tan, Christos Karamanos |
| 2024 | Antichain with SAT and Tries. | Luks Holk, Pavol Vargovck |
| 2024 | Cooking String-Integer Conversions with Noodles. | Vojtech Havlena, Luks Holk, Ondrej Lengl, Juraj Sc |
| 2024 | Entailing Generalization Boosts Enumeration. | Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon |
| 2024 | SAT Encoding of Partial Ordering Models for Graph Coloring Problems. | Daniel Faber, Adalat Jabrayilov, Petra Mutzel |
| 2024 | New Lower Bounds for Polynomial Calculus over Non-Boolean Bases. | Yogesh Dahiya, Meena Mahajan, Sasank Mouli |
| 2024 | Lazy Reimplication in Chronological Backtracking. | Robin Coutelier, Mathias Fleury, Laura Kovcs |