Volume 8 Contents


Alberto Griggio. A Practical Approach to Satisability Modulo Linear Integer Arithmetic. Volume 8 (2012), pages 1-27.
  • Keywords: SMT, linear integer arithmetic, decision procedures.
  • PDF

Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, and Gian Paolo Rossi. Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. Volume 8 (2012), pages 29-61.
  • Keywords: model checking modulo theories, failure models, quantifiers instantiation, reliable broadcast.
  • PDF

Marcel Wild. Compactly Generating All Satisfying Truth Assignments of a Horn Formula. Volume 8 (2012), pages 63-82.
  • Keywords: Horn-models, output-polynomial algorithm, fixed-cardinality models.
  • PDF

Huan Chen and Joao Marques-Silva. TG-Pro: A SAT-based ATPG System. Volume 8 (2012), system description, pages 83-88.
  • Keywords: ATPG, Boolean SAT, EDA.
  • PDF

Mikolás Janota, Inês Lynce, Vasco Manquinho, and Joao Marques-Silva. PackUp: Tools for Package Upgradability Solving. Volume 8 (2012), system description, pages 89-94.
  • Keywords: package upgradability problem, MaxSAT, Boolean optimization.
  • PDF

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, and Ryuzo Hasegawa. QMaxSAT: A Partial Max-SAT Solver. Volume 8 (2012), system description, pages 95-100.
  • Keywords: partial Max-SAT solver, Boolean cardinality constraints, CDCL solver.
  • PDF

Uwe Bubeck and Hans Kleine Büning. Encoding Nested Boolean Functions as Quantified Boolean Formulas. Volume 8 (2012), pages 101-116.
  • Keywords: nested Boolean function, NBF, QBF, Boolean program, encoding.
  • PDF

Allen Van Gelder. Contrasat - A Contrarian SAT Solver. Volume 8 (2012), system description, pages 117-122.
  • Keywords: SAT solver, CDCL, Minisat, volunteer, Contrasat.
  • PDF

Anton Belov and Joao Marques-Silva. MUSer2: An Efficient MUS Extractor. Volume 8 (2012), system description, pages 123-128.
  • Keywords: Minimal unsatisfiability, MUS extraction, SAT applications.
  • PDF

Sean A. Weaver, Katrina J. Ray, Victor W. Marek, Andrew J. Mayer, and Alden K. Walker. Satisfiability-based Set Membership Filters. Volume 8 (2014), pages 129-148.
  • Keywords: Satisfiability, Set Membership, Filters, Random k-SAT.
  • PDF

Florent Krzakala, Marc Mezard, and Lenka Zdeborova. Reweighted Belief Propagation and Quiet Planting for Random K-SAT. Volume 8 (2014), pages 149-171.
  • Keywords: Random k-SAT, Hard Satisfiable Formulas, Belief Propagation.
  • PDF