[  paper | experiments ]

This page provides access to evaluate the experiments described in our paper at DATE 2020.

Paper

Daniela Kaufmann, Armin Biere, Manuel Kauers.
From DRUP to PAC and Back.
To appear.
[ paper | bibtex ]

Experiments

[ KaufmannBiereKauers-DATE-20-src.tar.xz ] source code (1.5 MB)
[ KaufmannBiereKauers-DATE-20-log-data.tar.xz ] data (26.8 MB)
[ KaufmannBiereKauers-DATE-20-benchmarks.tar.xz ] benchmarks (1.0 MB)