Browse Title Index


 
Issue Title
 
Vol 3 (2007): Includes a Special Issue on Satisfiability Modulo Theories Preface to Special Issue on Satisfiability Modulo Theories Abstract   PDF
Byron Cook, Roberto Sebastiani
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations Preface to the Special Volume on the SAT 2005 Competitions and Evaluations Abstract   PDF
Daniel Le Berre, Laurent Simon
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations Pueblo: A Hybrid Pseudo-Boolean SAT Solver Abstract   PDF
Hossein M. Sheini, Karem A. Sakallah
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification QBF-Based Formal Verification: Experience and Perspectives Abstract   PDF
Marco Benedetti, Hratch Mangassarian
 
Vol 8 (2012): Covers 2012-2014 QMaxSAT: A Partial Max-SAT Solver Abstract   PDF
Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa
 
Vol 7 (2009): Covers 2009-2011 QuBE7.0 Abstract   PDF
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Recording and Minimizing Nogoods from Restarts Abstract   PDF
Christophe Lecoutre, Lakhdar Sais, Sebastien Tabary, Vincent Vidal
 
Vol 2 (2006): Special Volume on the SAT 2005 Competitions and Evaluations Report of the Third QBF Solvers Evaluation Abstract   PDF
Massimo Narizzano, Luca Pulina, Armando Tacchella
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations Report on SL-COMP 2014 Abstract   PDF
Mihaela Sighireanu, David R. Cok
 
Vol 7 (2009): Covers 2009-2011 Resolution on Quantified Generalized Clause-sets Abstract   PDF
Jiwei Jin, Xishun Zhao
 
Vol 7 (2009): Covers 2009-2011 Reusing the Assignment Trail in CDCL Solvers Abstract   PDF
Peter van der Tak, Antonio Ramos, Marijn Heule
 
Vol 8 (2012): Covers 2012-2014 Reweighted Belief Propagation and Quiet Planting for Random K-SAT Abstract   PDF
Florent Krzakala, Marc Mezard, Lenka Zdeborova
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition SAT Algorithms for Colouring Some Special Classes of Graphs: Some Theoretical and Experimental Results Abstract   PDF
Sriyankar Acharyya
 
Vol 8 (2012): Covers 2012-2014 Sat4j 2.3.2: on the fly solver configuration System Description Abstract   PDF
Daniel Le Berre, Stephanie Roussel
 
Vol 8 (2012): Covers 2012-2014 Satisfiability-based Set Membership Filters Abstract   PDF
Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden K. Walker
 
Vol 3 (2007): Includes a Special Issue on Satisfiability Modulo Theories SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic Abstract   PDF
Malay K. Ganai, Muralidhar Talupur, Aarti Gupta
 
Vol 1 (2006): Includes a Special Issue on SAT/CP Integration Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems Abstract   PDF
Miguel F. Anjos
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification Solving Partial Order Constraints for LPO Termination Abstract   PDF
Michael Codish, Vitaly Lagoon, Peter J. Stuckey
 
Vol 4 (2007): Includes a Special Issue on the 2007 Competition Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis Abstract   PDF
Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche
 
Vol 5 (2008): Special Volume on Application of Constraints to Formal Verification Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization Abstract   PDF
Viviana Bruno, Luz Garcia, Sergio Nocco, Stefano Quer
 
Vol 7 (2009): Covers 2009-2011 Successful SAT Encoding Techniques Details   PDF
Magnus Bjork
 
Vol 6 (2008): Includes a Special Issue on Parallel SAT Solving Terse Integer Linear Programs for Boolean Optimization Abstract   PDF
Christoph Buchheim, Giovanni Rinaldi
 
Vol 8 (2012): Covers 2012-2014 TG-Pro: A SAT-based ATPG System Abstract   PDF
Huan Chen, Joao Marques-Silva
 
Vol 9 (2014): Includes a Special Issue on SAT 2014 Competitions and Evaluations The 2014 SMT Competition Abstract   PDF
David R. Cok, David Déharbe, Tjark Weber
 
Vol 3 (2007): Includes a Special Issue on Satisfiability Modulo Theories The Complexity of Some Subclasses of Minimal Unsatisfiable Formulas Abstract   PDF
Hans Kleine Buening, Xishun Zhao
 
76 - 100 of 112 Items << < 1 2 3 4 5 > >>