Chasing Target Phases
This page provides access to source code and experimental data for our paper accepted at POS'20.
Slides are available as BiereFleury-POS20-talk.pdf.
These two versions are very close to those submitted to the SAT Competition 2020. One reason not to use the competition versions was the necessity to add options for enabling and disabling rephasing and target phases.
The source code of our modified Glucose is available as glucose-3-rephasing.tar.xz.
Log files for the experiments: here.