| 2012 | Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors. | Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown |
| 2012 | Interpolant Strength Revisited. | Georg Weissenbacher |
| 2012 | Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation). | Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara |
| 2012 | Concurrent Cube-and-Conquer - (Poster Presentation). | Peter van der Tak, Marijn Heule, Armin Biere |
| 2012 | Computing Resolution-Path Dependencies in Linear Time , . | Friedrich Slivovsky, Stefan Szeider |
| 2012 | Learning Back-Clauses in SAT - (Poster Presentation). | Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
| 2012 | Resolution-Based Certificate Extraction for QBF - (Tool Presentation). | Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere |
| 2012 | Preprocessing in Incremental SAT. | Alexander Nadel, Vadim Ryvchin, Ofer Strichman |
| 2012 | Efficient SAT Solving under Assumptions. | Alexander Nadel, Vadim Ryvchin |
| 2012 | Improvements to Core-Guided Binary Search for MaxSAT. | Antnio Morgado, Federico Heras, Joo Marques-Silva |
| 2012 | Augmenting Clause Learning with Implied Literals - (Poster Presentation). | Arie Matsliah, Ashish Sabharwal, Horst Samulowitz |
| 2012 | Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). | Paolo Marin, Christian Miller, Bernd Becker |
| 2012 | Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation). | Norbert Manthey |
| 2012 | Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation). | Chu Min Li, Wanxia Wei, Yu Li |
| 2012 | Satisfying versus Falsifying in Local Search for Satisfiability - (Poster Presentation). | Chu Min Li, Yu Li |
| 2012 | A Cardinality Solver: More Expressive Constraints for Free - (Poster Presentation). | Mark H. Liffiton, Jordyn C. Maglalang |
| 2012 | Conflict-Driven XOR-Clause Learning. | Tero Laitinen, Tommi A. Junttila, Ilkka Niemel |
| 2012 | On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets. | Oliver Kullmann, Xishun Zhao |
| 2012 | CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation). | Stephan Kottler, Christian Zielke, Paul Seitz, Michael Kaufmann |
| 2012 | Satisfiability and The Art of Computer Programming. | Donald E. Knuth |
| 2012 | Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). | George Katsirelos, Laurent Simon |
| 2012 | Finding Efficient Circuits for Ensemble Computation. | Matti Jrvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen |
| 2012 | Solving QBF with Counterexample Guided Refinement. | Mikols Janota, William Klieber, Joo Marques-Silva, Edmund M. Clarke |
| 2012 | Intensification Search in Modern SAT Solvers - (Poster Presentation). | Sad Jabbour, Jerry Lonlac, Lakhdar Sas |
| 2012 | Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). | Ashlin Iser, Mana Taghdiri, Carsten Sinz |