FMSD SMT Special Issue 2016 Submission

Propagation Based Local Search for Bit-Precise Reasoning

Aina Niemetz, Mathias Preiner, and Armin Biere

Overview

This site provides supplemental materials for the following paper:

Aina Niemetz, Mathias Preiner, Armin Biere. Propagation based local search for bit-precise reasoning . In Journal of Formal Methods in System Design, vol. 51(3), pages 608-636, Springer 2017.
[ paper | preprint | bibtex | experiments ]

Downloads

• README
• list of SAT benchmarks
• list of status UNSAT benchmarks
• benchmarks SAT (7z compressed archive, 287MB)
• benchmarks status UNSAT (7z compressed archive, 315MB)
• all materials (7z compressed archive, 385MB)