Vol 8 (2012)

Covers 2012-2014

Table of Contents


A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic PDF
Alberto Griggio 1-27
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories PDF
Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi 29-61
Compactly Generating All Satisfying Truth Assignments of a Horn Formula PDF
Marcel Wild 63-82
Encoding Nested Boolean Functions as Quantified Boolean Formulas PDF
Uwe Bubeck, Hans Kleine Büning 101-116
Satisfiability-based Set Membership Filters PDF
Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, Alden K. Walker 129-148
Reweighted Belief Propagation and Quiet Planting for Random K-SAT PDF
Florent Krzakala, Marc Mezard, Lenka Zdeborova 149-171
A Computational Trichotomy for Connectivity of Boolean Satisfiability PDF
Konrad W. Schwerdtfeger 173-195

System Descriptions

TG-Pro: A SAT-based ATPG System PDF
Huan Chen, Joao Marques-Silva 83-88
PackUp: Tools for Package Upgradability Solving PDF
Mikolas Janota, Ines Lynce, Vasco Manquinho, Joao Marques-Silva 89-94
QMaxSAT: A Partial Max-SAT Solver PDF
Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa 95-100
Contrasat – A Contrarian SAT Solver PDF
Allen Van Gelder 117-122
MUSer2: An Efficient MUS Extractor PDF
Anton Belov, Joao Marques-Silva 123-128
Sat4j 2.3.2: on the fly solver configuration System Description PDF
Daniel Le Berre, Stephanie Roussel 197-202