| 2016 | The QBF Solver AIGSolve. | Christoph Scholl, Florian Pigorsch |
| 2016 | Solution-Graphs of Boolean Formulas and Isomorphism. | Patrick Scharpfenecker, Jacobo Torn |
| 2016 | LMHS: A SAT-IP Hybrid MaxSAT Solver. | Paul Saikko, Jeremias Berg, Matti Jrvisalo |
| 2016 | Finding Finite Models in Multi-sorted First-Order Logic. | Giles Reger, Martin Suda, Andrei Voronkov |
| 2016 | Incremental Determinization. | Markus N. Rabe, Sanjit A. Seshia |
| 2016 | The Ninth QBF Solvers Evaluation - Preliminary Report. | Luca Pulina |
| 2016 | Long Distance Q-Resolution with Dependency Schemes. | Toms Peitl, Friedrich Slivovsky, Stefan Szeider |
| 2016 | Tight Upper Bound on Splitting by Linear Combinations for Pigeonhole Principle. | Vsevolod Oparin |
| 2016 | Satisfiability via Smooth Pictures. | Mateus de Oliveira Oliveira |
| 2016 | On the Hardness of SAT with Community Structure. | Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia |
| 2016 | Parameterized Compilation Lower Bounds for Restricted CNF-Formulas. | Stefan Mengel |
| 2016 | MCS Extraction with Sublinear Oracle Queries. | Carlos Menca, Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva |
| 2016 | SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. | Norbert Manthey, Marius Lindauer |
| 2016 | Q-Resolution with Generalized Axioms. | Florian Lonsing, Uwe Egly, Martina Seidl |
| 2016 | A SAT Approach to Branchwidth. | Neha Lodha, Sebastian Ordyniak, Stefan Szeider |
| 2016 | Learning Rate Based Branching Heuristic for SAT Solvers. | Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki |
| 2016 | Predicate Elimination for Preprocessing in First-Order Theorem Proving. | Zurab Khasidashvili, Konstantin Korovin |
| 2016 | Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. | Martin Jons, Jan Strejcek |
| 2016 | On Q-Resolution and CDCL QBF Solving. | Mikols Janota |
| 2016 | Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. | Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama |
| 2016 | OpenSMT2: An SMT Solver for Multi-core and Cloud Computing. | Antti E. J. Hyvrinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina |
| 2016 | Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. | Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek |
| 2016 | Strong Backdoors for Default Logic. | Johannes Klaus Fichte, Arne Meier, Irina Schindler |
| 2016 | Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers. | Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordstrm, Marc Vinyals |
| 2016 | On Stronger Calculi for QBFs. | Uwe Egly |