Browse Title Index


 
Issue Title
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition The First and Second Max-SAT Evaluations Abstract   PDF
Josep Argelich, Chu-Min Li, Felip Manya, Jordi Planes
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations The First Evaluation of Pseudo-Boolean Solvers (PB’05) Abstract   PDF
Vasco M. Manquinho, Olivier Roussel
 
Vol 7 (2009): Covers 2009-2011 The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers Abstract   PDF
Federico Heras, David Baneres
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games Abstract   PDF
Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations The SAT 2005 Solver Competition on Random Instances Abstract   PDF
Oliver Kullmann
 
Vol 7 (2009): Covers 2009-2011 The Sat4j library, release 2.2 Abstract   PDF
Daniel Le Berre, Anne Parrain
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition Towards a Classification of Hamiltonian Cycles in the 6-Cube Abstract   PDF
Yury Chebiryak, Daniel Kroening
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations Translating Pseudo-Boolean Constraints into SAT Abstract   PDF
Niklas Een, Niklas Sorensson
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition tts: A SAT-Solver for Small, Difficult Instances Abstract   PDF
Ivor Spence
 
Vol 8 (2012): Covers 2012-2014 Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories Abstract   PDF
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Using SAT Encodings to Derive CSP Value Ordering Heuristics Abstract   PDF
Christophe Lecoutre, Lakhdar Saıs, Julien Vion
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition Whose side are you on? Finding solutions in a biased search-tree Abstract   PDF
Marijn J.H. Heule, Hans van Maaren
 
101 - 112 of 112 Items << < 1 2 3 4 5