| 2012 | A Cardinality Solver: More Expressive Constraints for Free - (Poster Presentation). Mark H. Liffiton, Jordyn C. Maglalang |
| 2012 | An Efficient Method for Solving UNSAT 3-SAT and Similar Instances via Static Decomposition - (Poster Presentation). Emir Demirovic, Haris Gavranovic |
| 2012 | An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning. Maria Luisa Bonet, Samuel R. Buss |
| 2012 | Augmenting Clause Learning with Implied Literals - (Poster Presentation). Arie Matsliah, Ashish Sabharwal, Horst Samulowitz |
| 2012 | Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation). Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara |
| 2012 | Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break. Adrian Balint, Uwe Schöning |
| 2012 | CoPAn: Exploring Recurring Patterns in Conflict Analysis of CDCL SAT Solvers - (Tool Presentation). Stephan Kottler, Christian Zielke, Paul Seitz, Michael Kaufmann |
| 2012 | Computing Resolution-Path Dependencies in Linear Time , . Friedrich Slivovsky, Stefan Szeider |
| 2012 | Concurrent Cube-and-Conquer - (Poster Presentation). Peter van der Tak, Marijn Heule, Armin Biere |
| 2012 | Conflict-Driven XOR-Clause Learning. Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä |
| 2012 | Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation). Norbert Manthey |
| 2012 | Creating Industrial-Like SAT Instances by Clustering and Reconstruction - (Poster Presentation). Sebastian Burg, Stephan Kottler, Michael Kaufmann |
| 2012 | Designing Scalable Parallel SAT Solvers. Antti Eero Johannes Hyvärinen, Norbert Manthey |
| 2012 | Efficient SAT Solving under Assumptions. Alexander Nadel, Vadim Ryvchin |
| 2012 | Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors. Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown |
| 2012 | Exploiting Historical Relationships of Clauses and Variables in Local Search for Satisfiability - (Poster Presentation). Chu Min Li, Wanxia Wei, Yu Li |
| 2012 | Exponential Lower Bounds for DPLL Algorithms on Satisfiable Random 3-CNF Formulas. Dimitris Achlioptas, Ricardo Menchaca-Méndez |
| 2012 | Extended Failed-Literal Preprocessing for Quantified Boolean Formulas. Allen Van Gelder, Samuel B. Wood, Florian Lonsing |
| 2012 | Faulty Interaction Identification via Constraint Solving and Optimization. Jian Zhang, Feifei Ma, Zhiqiang Zhang |
| 2012 | Finding Efficient Circuits for Ensemble Computation. Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen |
| 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 | Generalized Property Directed Reachability. Krystof Hoder, Nikolaj S. Bjørner |
| 2012 | Henkin Quantifiers and Boolean Formulae. Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang |
| 2012 | Improved Single Pass Algorithms for Resolution Proof Reduction - (Poster Presentation). Ashutosh Gupta |
| 2012 | Improvements to Core-Guided Binary Search for MaxSAT. António Morgado, Federico Heras, João Marques-Silva |
| 2012 | Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). Paolo Marin, Christian Miller, Bernd Becker |
| 2012 | Intensification Search in Modern SAT Solvers - (Poster Presentation). Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs |
| 2012 | Interpolant Strength Revisited. Georg Weissenbacher |
| 2012 | Learning Back-Clauses in SAT - (Poster Presentation). Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
| 2012 | Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation). George Katsirelos, Laurent Simon |
| 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 | Off the Trail: Re-examining the CDCL Algorithm. Alexandra Goultiaeva, Fahiem Bacchus |
| 2012 | On Davis-Putnam Reductions for Minimally Unsatisfiable Clause-Sets. Oliver Kullmann, Xishun Zhao |
| 2012 | On Efficient Computation of Variable MUSes. Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva |
| 2012 | On Sequent Systems and Resolution for QBFs. Uwe Egly |
| 2012 | Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation). Ashlin Iser, Mana Taghdiri, Carsten Sinz |
| 2012 | Parameterized Complexity of Weighted Satisfiability Problems. Nadia Creignou, Heribert Vollmer |
| 2012 | Perfect Hashing and CNF Encodings of Cardinality Constraints. Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah |
| 2012 | Preprocessing in Incremental SAT. Alexander Nadel, Vadim Ryvchin, Ofer Strichman |
| 2012 | Resolution-Based Certificate Extraction for QBF - (Tool Presentation). Aina Niemetz, Mathias Preiner, Florian Lonsing, Martina Seidl, Armin Biere |
| 2012 | Revisiting Clause Exchange in Parallel SAT Solving. Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette |
| 2012 | SATLab: X-Raying Random k-SAT - (Tool Presentation). Thomas Hugel |
| 2012 | SMT-Aided Combinatorial Materials Discovery. Stefano Ermon, Ronan LeBras, Carla P. Gomes, Bart Selman, R. Bruce van Dover |
| 2012 | SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation). Florian Corzilius, Ulrich Loup, Sebastian Junges, Erika Ábrahám |
| 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 | Satisfiability and The Art of Computer Programming. Donald E. Knuth |
| 2012 | Satisfying versus Falsifying in Local Search for Satisfiability - (Poster Presentation). Chu Min Li, Yu Li |
| 2012 | Single-Solver Algorithms for 2QBF - (Poster Presentation). Sam Bayless, Alan J. Hu |
| 2012 | Solving QBF with Counterexample Guided Refinement. Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke |
| 2012 | Strong Backdoors to Nested Satisfiability. Serge Gaspers, Stefan Szeider |
| 2012 | The Community Structure of SAT Formulas. Carlos Ansótegui, Jesús Giráldez-Cru, Jordi Levy |
| 2012 | Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings Alessandro Cimatti, Roberto Sebastiani |
| 2012 | Towards Massively Parallel Local Search for SAT - (Poster Presentation). Alejandro Arbelaez, Philippe Codognet |
| 2012 | Understanding IC3. Aaron R. Bradley |
| 2012 | Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). Iago Abal, Alcino Cunha, Joe Hurd, Jorge Sousa Pinto |