From DRUP to PAC and Back

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)