Vol 9 (2014)

Includes a Special Issue on SAT 2014 Competitions and Evaluations

Table of Contents

Articles

Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages PDF
Frédéric Lafitte, Jorge Nakahara Jr., Dirk Van Heule 1-25
Accelerated Deletion-based Extraction of Minimal Unsatisfiable Cores PDF
Alexander Nadel, Vadim Ryvchin, Ofer Strichman 27-51

Special Issue on SAT 2014 Competitions and Evaluations

Boolector 2.0 PDF
Aina Niemetz, Mathias Preiner, Armin Biere 53-58
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving PDF
Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce 59-81
MiFuMax—a Literate MaxSAT Solver PDF
Mikolas Janota 83-88
Ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver PDF
Andre Abrame, Djamal Habet 89-128
MSCG: Robust Core-Guided MaxSAT Solving PDF
Antonio Morgado, Alexey Ignatiev, Joao Marques-Silva 129-134
Hardware Model Checking Competition 2014: An Analysis and Comparison of Solvers and Benchmarks PDF
Gianpiero Cabodi, Carmelo Loiacono, Marco Palena, Paolo Pasini, Denis Patti, Stefano Quer, Danilo Vendraminetto, Armin Biere, Keijo Heljanko 135-172
Report on SL-COMP 2014 PDF
Mihaela Sighireanu, David R. Cok 173-186
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games PDF
Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder 187-206
The 2014 SMT Competition PDF
David R. Cok, David Déharbe, Tjark Weber 207-242