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, Springer, 29 pages, published online first, October 2, 2017.
[ paper | preprint | bibtex | experiments ]