| 2014 | Detecting Cardinality Constraints in CNF. | Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey |
| 2014 | Lingeling Essentials, A Tutorial on Design and Implementation Aspects of the the SAT Solver Lingeling. | Armin Biere |
| 2014 | Unified Characterisations of Resolution Hardness Measures. | Olaf Beyersdorff, Oliver Kullmann |
| 2014 | MUS Extraction Using Clausal Proofs. | Anton Belov, Marijn Heule, Joo Marques-Silva |
| 2014 | Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). | Toms Balyo, Andreas Frhlich, Marijn Heule, Armin Biere |
| 2014 | Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses. | Adrian Balint, Armin Biere, Andreas Frhlich, Uwe Schning |
| 2014 | QBF Resolution Systems and Their Proof Complexities. | Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang |
| 2014 | Cores in Core Based MaxSat Algorithms: An Analysis. | Fahiem Bacchus, Nina Narodytska |
| 2014 | Lazy Clause Exchange Policy for Parallel SAT Solvers. | Gilles Audemard, Laurent Simon |
| 2014 | Dolius: A Distributed Parallel SAT Solving Framework. | Gilles Audemard, Benot Hoessen, Sad Jabbour, Cdric Piette |
| 2014 | New CNF Features and Formula Classification. | Enrique Matos Alfonso, Norbert Manthey |
| 2013 | Concurrent Clause Strengthening. | Siert Wieringa, Keijo Heljanko |
| 2013 | On the Resolution Complexity of Graph Non-isomorphism. | Jacobo Torn |
| 2013 | There Are No CNF Problems. | Peter J. Stuckey |
| 2013 | Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems. | Takehide Soh, Naoyuki Tamura, Mutsunori Banbara |
| 2013 | Snappy: A Simple Algorithm Portfolio. | Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann |
| 2013 | Cliquewidth and Knowledge Compilation. | Igor Razgon, Justyna Petke |
| 2013 | Upper and Lower Bounds for Weak Backdoor Set Detection. | Neeldhara Misra, Sebastian Ordyniak, Venkatesh Raman, Stefan Szeider |
| 2013 | A Constraint Satisfaction Approach for Programmable Logic Detailed Placement. | Andrew Mihal, Steve Teig |
| 2013 | SAT Encodings for the Car Sequencing Problem. | Valentin Mayer-Eichberger, Toby Walsh |
| 2013 | Community-Based Partitioning for MaxSAT Solving. | Ruben Martins, Vasco Manquinho, Ins Lynce |
| 2013 | Soundness of Inprocessing in Clause Sharing SAT Solvers. | Norbert Manthey, Tobias Philipp, Christoph Wernhard |
| 2013 | Modern Cooperative Parallel SAT Solving. | Norbert Manthey, Davide Lanti, Ahmed Irfan |
| 2013 | Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation. | Florian Lonsing, Uwe Egly, Allen Van Gelder |
| 2013 | A Rank Lower Bound for Cutting Planes Proofs of Ramsey's Theorem. | Massimo Lauria |