Volume 7 Contents

Download all articles from this volume


Marina Langlois, Robert H. Sloan, and György Turán. Horn Upper Bounds and Renaming. Volume 7 (2009), pages 1-15.
  • Keywords: Horn approximation, renaming, random satisfying assignment.
  • PDF

Jiwei Jin and Xishun Zhao. Resolution on Quantified Generalized Clause-sets. Volume 7 (2010), pages 17-34.
  • Keywords: quantified generalized clause-sets, satisfiability, Q-resolution, Horn.
  • PDF

Olga Tveretina, Carsten Sinz, and Hans Zantema. Ordered Binary Decision Diagrams, Pigeonhole Formulas and Beyond. Volume 7 (2010), pages 35-58.
  • Keywords: ordered binary decision diagrams, resolution, pigeonhole formulas, lower bounds.
  • PDF

Daniel Le Berre and Anne Parrain. The Sat4j library, release 2.2. Volume 7 (2010), system description, pages 59-64.
  • Keywords: resolution, cutting-planes, SAT-solver, MAXSAT.
  • PDF

Luca Pulina and Armando Tacchella. AQME'10. Volume 7 (2010), system description, pages 65-70.
  • Keywords: self-adaptive multi-engine solver, quantified Boolean formulas, AQME.
  • PDF

Florian Lonsing and Armin Biere. DepQBF: A Dependency-Aware QBF Solver. Volume 7 (2010), system description, pages 71-76.
  • Keywords: QBF solving, DPLL, dependency schemes, restarts.
  • PDF

Adrian Balint, Daniel Gall, Gregor Kapler, and Robert Retz. Experiment design and administration for computer clusters for SAT-solvers (EDACC). Volume 7 (2010), system description, pages 77-82.
  • Keywords: SAT-solver testing, design of tests, computer clusters, jobs scheduling.
  • PDF

Enrico Giunchiglia, Paolo Marin, and Massimo Narizzano. QuBE7.0. Volume 7 (2010), system description, pages 83-88.
  • Keywords: QBF, solver, preprocessor.
  • PDF

Federico Heras and David Baneres. The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers. Volume 7 (2010), pages 89-126.
  • Keywords: max-SAT, stochastic local search, inference.
  • PDF

Youssef Hamadi, Said Jabbour, Cedric Piette, and Lakhdar Sais. Deterministic Parallel DPLL. Volume 7 (2011), system description, pages 127-132.
  • Keywords: SAT solving, parallelism.
  • PDF

Peter van der Tak, Antonio Ramos, and Marijn Heule. Reusing the Assignment Trail in CDCL Solvers. Volume 7 (2011), system description, pages 133-138.
  • Keywords: CDCL solver, restart strategy.
  • PDF

Olivier Roussel. Controlling a Solver Execution with the runsolver Tool. Volume 7 (2011), system description, pages 139-144.
  • Keywords: solver control, resources limitation, competitions.
  • PDF

Steve Haynal and Heidi Haynal. Generating and Searching Families of FFT Algorithms. Volume 7 (2011), pages 145-187.
  • Keywords: fast Fourier transform, FFT, SMT-solver, Boolean modeling.
  • PDF