| 2012 | Designing Scalable Parallel SAT Solvers. | Antti Eero Johannes Hyvrinen, Norbert Manthey |
| 2012 | SATLab: X-Raying Random k-SAT - (Tool Presentation). | Thomas Hugel |
| 2012 | Generalized Property Directed Reachability. | Krystof Hoder, Nikolaj S. Bjrner |
| 2012 | Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation). | Ashutosh Gupta |
| 2012 | Off the Trail: Re-examining the CDCL Algorithm. | Alexandra Goultiaeva, Fahiem Bacchus |
| 2012 | Extended Failed-Literal Preprocessing for Quantified Boolean Formulas. | Allen Van Gelder, Samuel B. Wood, Florian Lonsing |
| 2012 | Strong Backdoors to Nested Satisfiability. | Serge Gaspers, Stefan Szeider |
| 2012 | Lynx: A Programmatic SAT Solver for the RNA-Folding Problem. | Vijay Ganesh, Charles W. O'Donnell, Mate Soos, Srinivas Devadas, Martin C. Rinard, Armando Solar-Lezama |
| 2012 | SMT-Aided Combinatorial Materials Discovery. | Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2012 | On Sequent Systems and Resolution for QBFs. | Uwe Egly |
| 2012 | An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation). | Emir Demirovic, Haris Gavranovic |
| 2012 | Fixed-Parameter Tractability of Satisfying beyond the Number of Variables. | Robert Crowston, Gregory Z. Gutin, Mark Jones, Venkatesh Raman, Saket Saurabh, Anders Yeo |
| 2012 | Parameterized Complexity of Weighted Satisfiability Problems. | Nadia Creignou, Heribert Vollmer |
| 2012 | SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). | Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika brahm |
| 2012 | Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation). | Sebastian Burg, Stephan Kottler, Michael Kaufmann |
| 2012 | Understanding IC3. | Aaron R. Bradley |
| 2012 | An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning. | Maria Luisa Bonet, Samuel R. Buss |
| 2012 | SatX10: A Scalable Plug&Play Parallel SAT Framework - (Tool Presentation). | Bard Bloom, David Grove, Benjamin Herta, Ashish Sabharwal, Horst Samulowitz, Vijay A. Saraswat |
| 2012 | Perfect Hashing and CNF Encodings of Cardinality Constraints. | Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah |
| 2012 | On Efficient Computation of Variable MUSes. | Anton Belov, Alexander Ivrii, Arie Matsliah, Joo Marques-Silva |
| 2012 | Single-Solver Algorithms for 2QBF - (Poster Presentation). | Sam Bayless, Alan J. Hu |
| 2012 | Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break. | Adrian Balint, Uwe Schning |
| 2012 | Henkin Quantifiers and Boolean Formulae. | Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang |
| 2012 | Revisiting Clause Exchange in Parallel SAT Solving. | Gilles Audemard, Benot Hoessen, Sad Jabbour, Jean-Marie Lagniez, Cdric Piette |
| 2012 | Towards Massively Parallel Local Search for SAT - (Poster Presentation). | Alejandro Arbelaez, Philippe Codognet |