| 2015 | Hints Revealed. | Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz |
| 2015 | Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data. | Alexander Ivrii, Vadim Ryvchin, Ofer Strichman |
| 2015 | Recognition of Nested Gates in CNF Formulas. | Ashlin Iser, Norbert Manthey, Carsten Sinz |
| 2015 | SAT-Based Formula Simplification. | Alexey Ignatiev, Alessandro Previti, Joo Marques-Silva |
| 2015 | Search-Space Partitioning for Parallelizing SMT Solvers. | Antti E. J. Hyvrinen, Matteo Marescotti, Natasha Sharygina |
| 2015 | Community Structure Inspired Algorithms for SAT and #SAT. | Robert Ganian, Stefan Szeider |
| 2015 | SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers. | Stefan Falkner, Marius Lindauer, Frank Hutter |
| 2015 | Constructing SAT Filters with a Quantum Annealer. | Adam Douglass, Andrew D. King, Jack Raymond |
| 2015 | SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. | Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika brahm |
| 2015 | Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP. | Ruiwen Chen, Rahul Santhanam |
| 2015 | CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. | Shaowei Cai, Chuan Luo, Kaile Su |
| 2015 | Laissez-Faire Caching for Parallel #SAT Solving. | Jan Burchard, Tobias Schubert, Bernd Becker |
| 2015 | On Compiling CNFs into Structured Deterministic DNNFs. | Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky |
| 2015 | Evaluating CDCL Variable Scoring Schemes. | Armin Biere, Andreas Frhlich |
| 2015 | HordeSat: A Massively Parallel Portfolio SAT Solver. | Toms Balyo, Peter Sanders, Carsten Sinz |
| 2015 | Speeding up MUS Extraction with Preprocessing and Chunking. | Valeriy Balabanov, Alexander Ivrii |
| 2015 | #∃SAT: Projected Model Counting. | Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey |
| 2015 | Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. | M. Fareed Arif, Carlos Menca, Joo Marques-Silva |
| 2015 | Using Community Structure to Detect Relevant Learnt Clauses. | Carlos Anstegui, Jess Girldez-Cru, Jordi Levy, Laurent Simon |
| 2014 | DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs. | Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr. |
| 2014 | Community Branching for Parallel Portfolio SAT Solvers. | Tomohiro Sonobe, Shuya Kondoh, Mary Inaba |
| 2014 | Variable Dependencies and Q-Resolution. | Friedrich Slivovsky, Stefan Szeider |
| 2014 | Post Mortem Analysis of SAT Solver Proofs. | Laurent Simon |
| 2014 | Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction. | Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki |
| 2014 | Solving MaxSAT and #SAT on Structured CNF Formulas. | Sigve Hortemo Sther, Jan Arne Telle, Martin Vatshelle |