| 2015 | #∃SAT: Projected Model Counting. Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey |
| 2015 | A New Approach to Partial MUS Enumeration. Christian Zielke, Michael Kaufmann |
| 2015 | Between SAT and UNSAT: The Fundamental Difference in CDCL SAT. Chanseok Oh |
| 2015 | CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. Shaowei Cai, Chuan Luo, Kaile Su |
| 2015 | Community Structure Inspired Algorithms for SAT and #SAT. Robert Ganian, Stefan Szeider |
| 2015 | Computing Maximal Autarkies with Few and Simple Oracle Queries. Oliver Kullmann, João Marques-Silva |
| 2015 | Constructing SAT Filters with a Quantum Annealer. Adam Douglass, Andrew D. King, Jack Raymond |
| 2015 | Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. M. Fareed Arif, Carlos Mencía, João Marques-Silva |
| 2015 | Evaluating CDCL Variable Scoring Schemes. Armin Biere, Andreas Fröhlich |
| 2015 | Exploiting Resolution-Based Representations for MaxSAT Solving. Miguel Neves, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco Manquinho |
| 2015 | Hints Revealed. Jonathan Kalechstain, Vadim Ryvchin, Nachum Dershowitz |
| 2015 | HordeSat: A Massively Parallel Portfolio SAT Solver. Tomás Balyo, Peter Sanders, Carsten Sinz |
| 2015 | Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP. Ruiwen Chen, Rahul Santhanam |
| 2015 | Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API. Florian Lonsing, Uwe Egly |
| 2015 | Laissez-Faire Caching for Parallel #SAT Solving. Jan Burchard, Tobias Schubert, Bernd Becker |
| 2015 | Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data. Alexander Ivrii, Vadim Ryvchin, Ofer Strichman |
| 2015 | On Compiling CNFs into Structured Deterministic DNNFs. Simone Bova, Florent Capelli, Stefan Mengel, Friedrich Slivovsky |
| 2015 | PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF. Tobias Philipp, Peter Steinke |
| 2015 | Preprocessing for DQBF. Ralf Wimmer, Karina Gitina, Jennifer Nist, Christoph Scholl, Bernd Becker |
| 2015 | QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving. Kuan-Hua Tu, Tzu-Chien Hsu, Jie-Hong R. Jiang |
| 2015 | Recognition of Nested Gates in CNF Formulas. Ashlin Iser, Norbert Manthey, Carsten Sinz |
| 2015 | SAT-Based Formula Simplification. Alexey Ignatiev, Alessandro Previti, João Marques-Silva |
| 2015 | SAT-Based Horn Least Upper Bounds. Carlos Mencía, Alessandro Previti, João Marques-Silva |
| 2015 | SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki |
| 2015 | SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving. Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám |
| 2015 | Search-Space Partitioning for Parallelizing SMT Solvers. Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina |
| 2015 | Speeding up MUS Extraction with Preprocessing and Chunking. Valeriy Balabanov, Alexander Ivrii |
| 2015 | SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers. Stefan Falkner, Marius Lindauer, Frank Hutter |
| 2015 | Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings Marijn Heule, Sean A. Weaver |
| 2015 | Using Community Structure to Detect Relevant Learnt Clauses. Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon |
| 2015 | Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances. Ravi Mangal, Xin Zhang, Aditya V. Nori, Mayur Naik |