Browse Title Index


 
Issue Title
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages Abstract   PDF
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving Conclusion to the Special Issue on Parallel SAT Solving Abstract   PDF
Youssef Hamadi
 
Vol 8 (2012): Covers 2012-2014 Contrasat – A Contrarian SAT Solver Abstract   PDF
Allen Van Gelder
 
Vol 7 (2009): Covers 2009-2011 Controlling a Solver Execution with the runsolver Tool system description Abstract   PDF
Olivier Roussel
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations Decomposing SAT Problems into Connected Components Abstract   PDF
Armin Biere, Carsten Sinz
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation Abstract   PDF
Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak
 
Vol 7 (2009): Covers 2009-2011 DepQBF: A Dependency-Aware QBF Solver Abstract   PDF
Florian Lonsing, Armin Biere
 
Vol 7 (2009): Covers 2009-2011 Deterministic Parallel DPLL Abstract   PDF
Youssef Hamadi, Said Jabbour, Cedric Piette, Lakhdar Sais
 
Vol 3 (2007): Includes a Special Issue on Satisfiability Modulo Theories Disequality Management in Integer Difference Logic via Finite Instantiations Abstract   PDF
Hyondeuk Kim, Hoonsang Jin, Fabio Somenzi
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition Disjoint DNF Tautologies with Conflict Bound Two Abstract   PDF
Balazs Szoerenyi
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification Editor’s Introduction to the Special Volume on Application of Constraints to Formal Verification Abstract   PDF
Miroslav N. Velev
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure Abstract   PDF
Martin Franzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert
 
Vol 8 (2012): Covers 2012-2014 Encoding Nested Boolean Functions as Quantified Boolean Formulas Abstract   PDF
Uwe Bubeck, Hans Kleine Büning
 
Vol 7 (2009): Covers 2009-2011 Experiment design and administration for computer clusters for SAT-solvers (EDACC) Abstract   PDF
Adrian Balint, Daniel Gall, Gregor Kapler, Robert Retz
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Extending Existential Quantification in Conjunctions of BDDs Abstract   PDF
Sean Weaver, John Franco, John Schlipf
 
Vol 7 (2009): Covers 2009-2011 Generating and Searching Families of FFT Algorithms Abstract   PDF
Steve Haynal, Heidi Haynal
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition Guest Editors Conclusion Abstract   PDF
Ewald Speckenmeyer, Armando Tacchella, Vasco Manquinho, Chu Min Li
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving HaifaSat: a SAT solver based on an Abstraction/Refinement model Abstract   PDF
Roman Gershman, Ofer Strichman
 
Vol 10 (2016) Hard satisfiable 3-SAT instances via autocorrelation Abstract   PDF
Srinivasan Arunachalam, Ilias Kotsireas
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques Abstract   PDF
Harri Haanpaa, Matti Jarvisalo, Petteri Kaski, Ilkka Niemela
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks Abstract   PDF
Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko
 
Vol 7 (2009): Covers 2009-2011 Horn Upper Bounds and Renaming Abstract   PDF
Marina Langlois, Robert H. Sloan, Gyorgy Turan
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Improved Bound for the PPSZ/Schoening-Algorithm for 3-SAT Abstract   PDF
Daniel Rolf
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification Improved SAT-based Reachability Analysis with Observability Don’t Cares Abstract   PDF
Sean Safarpour, Andreas Veneris, Rolf Drechsler
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Impurity: Another Phase Transition of SAT Abstract   PDF
Eliezer L. Lozinskii
 
26 - 50 of 112 Items << < 1 2 3 4 5 > >>