FMSD SMT Special Issue 2016 Submission

Propagation Based Local Search for Bit-Precise Reasoning

Aina Niemetz, Mathias Preiner, and Armin Biere


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 ]