| 2026 | SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology. | Ondrej Huvar, Martin Jons, Samuel Pastva |
| 2026 | Hermax: A Unified MaxSAT Library (Tool Paper). | Josep Maria Salvia Hornos, Csar Fernndez Camn, Carles Mateu Piol |
| 2026 | D-QBF with Few Existential Variables Revisited. | Andreas Grigorjew, Michael Lampis |
| 2026 | A Natively Parallel Proof Framework for Clause-Sharing SAT Solving. | Ruben Gtz, Michael Drr, Dominik Schreiber |
| 2026 | Bilateral Treewidth for QBF: Where Strategies and Resolution Meet. | Robert Ganian, Marlene Grndel |
| 2026 | SAT Modulo Well-Founded Semantics. | Thomas Eiter, Tobias Nieen, Davide Sold |
| 2026 | Generalizing CDCL with Graph Backtracking. | Robin Coutelier, Thomas Hader, Laura Kovcs |
| 2026 | The Compilability Thresholds of 2-CNF to OBDD. | Alexis de Colnet, Alfons Laarman, Joon Hyung Lee |
| 2026 | Long-Distance Q(D^std)-Consensus Is Sound. | Abhimanyu Choudhury, Meena Mahajan, Friedrich Slivovsky |
| 2026 | Strong (D)QBF Dependency Schemes via Pure Paths with Applications to Proof Checking. | Leroy Chew, Toms Peitl |
| 2026 | On Proof Systems for #QBF (Short Paper). | Sravanthi Chede, Leroy Chew, Vaibhav Krishan, Anil Shukla |
| 2026 | A Canonical Generalization of OBDD. | Florent Capelli, YooJung Choi, Stefan Mengel, Martn Muoz, Guy Van den Broeck |
| 2026 | Beyond Core-Guided MaxSAT. | Ilario Bonacina, Jordi Levy, Ion Mikel Liberal |
| 2026 | Conditional Autarkies: Hard Formulas Made Easy. | Ilario Bonacina, Maria Luisa Bonet, Antonina Kolokolova, Massimo Lauria |
| 2026 | Towards Understanding the Complexity of CAQE: A Proof-Theoretic Analysis of Its Core Procedure. | Benjamin Bhm, Olaf Beyersdorff |
| 2026 | Proof Systems Based on Structured Circuits. | Christoph Berkholz, Matthus Micun |
| 2026 | Extending CDCL to Disjunctions of Parity Equations. | Paul Beame, Glenn Sun |
| 2026 | Simplify, Order, Break, Repeat. | Markus Anders, Cayden R. Codel, Marijn J. H. Heule |
| 2026 | Proof Systems for QBF Synthesis: Extracting Skolem and Herbrand Functions. | S. Akshay, Olaf Beyersdorff, Supratik Chakraborty, Lea Kasche, Meena Mahajan, Luc Nicolas Spachmann |
| 2025 | On Top-Down Pseudo-Boolean Model Counting. | Suwei Yang, Yong Lai, Kuldeep S. Meel |
| 2025 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2025 | Bridging Language Models and Symbolic Solvers via the Model Context Protocol. | Stefan Szeider |
| 2025 | Anytime and Exact Search for Planning Problems: How to Explore a DP-based State Transition Graph with A*, CP and LS? (Invited Talk). | Christine Solnon |
| 2025 | Reencoding Unique Literal Clauses. | Aeacus Sheng, Joseph E. Reeves, Marijn J. H. Heule |
| 2025 | CNOT-Optimal Clifford Synthesis as SAT. | Irfansha Shaik, Jaco van de Pol |