Browse Title Index


 
Issue Title
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition 2006 and 2007 Max-SAT Evaluations: Contributed Instances Abstract   PDF
Federico Heras, Javier Larrosa, Simon de Givry, Thomas Schiex
 
Vol 8 (2012): Covers 2012-2014 A Computational Trichotomy for Connectivity of Boolean Satisfiability Abstract   PDF
Konrad W. Schwerdtfeger
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length Abstract   PDF
Evgeny Dantsin, Alexander Wolpert
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration A Note on the Use of Independent Sets for the k-SAT Problem Abstract   PDF
Konstantin Kutzkov
 
Vol 8 (2012): Covers 2012-2014 A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic Abstract   PDF
Alberto Griggio
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification A Probabilistic and Approximated Approach to Circuit-Based Formal Verification Abstract   PDF
Sergio Nocco, Stefano Quer
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification A Resolution Based SAT-solver Operating on Complete Assignments Abstract   PDF
Eugene Goldberg
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition A Switching Criterion for Intensification , and Diversification in Local Search for SAT Abstract   PDF
Wanxia Wei, Chu Min Li, Harry Zhang
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations A Translation of Pseudo-Boolean Constraints to SAT Abstract   PDF
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems Abstract   PDF
Javier Esparza, Stefan Kiefer, Stefan Schwoon
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores Abstract   PDF
Alexander Nadel, Vadim Ryvchin, Ofer Strichman
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver Abstract   PDF
Andre Abrame, Djamal Habet
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving Algorithms and Complexity Results for Input and Unit Resolution Abstract   PDF
Alexander Hertel, Alasdair Urquhart
 
Vol 3 (2007): Includes a Special Issue on Satisfiability Modulo Theories An Abstract Decision Procedure for a Theory of Inductive Data Types Abstract   PDF
Clark Barrett, Igor Shikanian, Cesare Tinelli
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition An Extended Semidefinite Relaxation for Satisfiability Abstract   PDF
Miguel F. Anjos
 
Vol 3 (2007): Includes a Special Issue on Satisfiability Modulo Theories An Extension of Deficiency and Minimal Unsatisfiability of Quantified Boolean Formulas Abstract   PDF
Hans Kleine Buening, Xishun Zhao
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages Abstract   PDF
Frédéric Lafitte, Jorge Nakahara Jr., Dirk Van Heule
 
Vol 7 (2009): Covers 2009-2011 AQME’10 Abstract   PDF
Luca Pulina, Armando Tacchella
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks Abstract   PDF
Emmanuel Zarpas
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations Boolector 2.0 Abstract   PDF
Aina Niemetz, Mathias Preiner, Armin Biere
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification Boosting SAT Solver Performance via a New Hybrid Approach Abstract   PDF
Lei Fang, Michael S. Hsiao
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving Cache Conscious Data Structures for Boolean Satisfiability Solvers Abstract   PDF
Geoffrey Chu, Aaron Harwood, Peter J. Stuckey
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition Combining Adaptive and Dynamic Local Search for Satisfiability Abstract   PDF
Duc Nghia Pham, John Thornton, Charles Gretton, Abdul Sattar
 
Vol 8 (2012): Covers 2012-2014 Compactly Generating All Satisfying Truth Assignments of a Horn Formula Abstract   PDF
Marcel Wild
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving Complexity of Semialgebraic Proofs with Restricted Degree of Falsity Abstract   PDF
Edward A. Hirsch, Arist Kojevnikov, Alexander S. Kulikov, Sergey I. Nikolenko
 
1 - 25 of 112 Items 1 2 3 4 5 > >>