Browse Title Index


 
Issue Title
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving Incorporating Clause Learning in Grid-Based Randomized SAT Solving Abstract   PDF
Antti E.J. Hyvaerinen, Tommi Junttila, Ilkka Niemela
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Interpolant based Decision Procedure for Quantifier-Free Presburger Arithmetic Abstract   PDF
Shuvendu K. Lahiri, Krishna K. Mehra
 
Vol 3 (2007): Includes a Special Issue on Satisfiability Modulo Theories It’s All about the Support: A New Perspective on the Satisfiability Problem Abstract   PDF
Dan Vilenchik
 
Vol 3 (2007): Includes a Special Issue on Satisfiability Modulo Theories Lazy Satisfiability Modulo Theories Abstract   PDF
Roberto Sebastiani
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving Lemmas on Demand for the Extensional Theory of Arrays Abstract   PDF
Robert Brummayer, Armin Biere
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving Linear Satisfiability Algorithm for 3CNF Formulas of Certain Signaling Networks Abstract   PDF
Utz-Uwe Haus, Klaus Truemper, Robert Weismantel
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations Locality and Hard SAT-Instances Abstract   PDF
Klas Markstroem
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving ManySAT: a Parallel SAT Solver Abstract   PDF
Youssef Hamadi, Said Jabbour, Lakhdar Sais
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations March dl: Adding Adaptive Heuristics and a New Branching Strategy Abstract   PDF
Marijn J.H. Heule, Hans van Maaren
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving Matched Formulas and Backdoor Sets Abstract   PDF
Stefan Szeider
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations MiFuMax—a Literate MaxSAT Solver Abstract   PDF
Mikolas Janota
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations MSCG: Robust Core-Guided MaxSAT Solving Abstract   PDF
Antonio Morgado, Alexey Ignatiev, Joao Marques-Silva
 
Vol 8 (2012): Covers 2012-2014 MUSer2: An Efficient MUS Extractor Abstract   PDF
Anton Belov, Joao Marques-Silva
 
Vol 10 (2016) On Exponential Lower Bounds for Partially Ordered Resolution Abstract   PDF
Mikolas Janota
 
Vol 10 (2016) On Linear Resolution Abstract   PDF
Sam Buss, Jan Johannsen
 
Vol 3 (2007): Includes a Special Issue on Satisfiability Modulo Theories On Solving Boolean Combinations of UTVPI Constraints Abstract   PDF
Sanjit A. Seshia, K. Subramani, Randal E. Bryant
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations On Using Cutting Planes in Pseudo-Boolean Optimization Abstract   PDF
Vasco M. Manquinho, Joao Marques-Silva
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving Abstract   PDF
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce
 
Vol 7 (2009): Covers 2009-2011 Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond Abstract   PDF
Olga Tveretina, Carsten Sinz, Hans Zantema
 
Vol 8 (2012): Covers 2012-2014 PackUp: Tools for Package Upgradability Solving Abstract   PDF
Mikolas Janota, Ines Lynce, Vasco Manquinho, Joao Marques-Silva
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving PaMiraXT: Parallel SAT Solving with Threads and Message Passing Abstract   PDF
Tobias Schubert, Matthew Lewis, Bernd Becker
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition Parallel SAT Solving using Bit-level Operations Abstract   PDF
Marijn J.H. Heule, Hans van Maaren
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition PicoSAT Essentials Abstract   PDF
Armin Biere
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving PMSat: a parallel version of MiniSAT Abstract   PDF
Luis Gil, Paulo Flores, Luis Miguel Silveira
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Preface to Special Issue on SAT/CP Integration Abstract   PDF
Youssef Hamadi, Lucas Bordeaux
 
51 - 75 of 112 Items << < 1 2 3 4 5 > >>