[ paper | experiments | pictures ]
Incremental Inprocessing in SAT Solving
This page provides source code and experimental data for a SAT'19 which actually was awarded the best student paper award.
Katalin Fazekas, Armin Biere, Christoph Scholl.
The archive contains sources code, scripts to run and analyze the experiments, as well as producing tables and plots. Log files are only provided in the first large) archive, the second is without log files and much smaller.
[ incrinpr.tar.xz | incrinpr-no-logs.tar.xz ]