Evaluating CDCL Variable Scoring Schemes
Here we make the source code and the log files available for our SAT'15 paper:
Armin Biere, Andreas Fröhlich. Evaluating CDCL
Variable Scoring Schemes. In Proc. 18th
Intl. Conf. on Theory and Applications of Satisfiability
Testing (SAT'15), Lecture Notes in Computer
Science (LNCS) vol. 9340, 405-422, Springer 2015.
The data can be found in the following archive:
[ evalvsids.7z ]
The contents of this archive is as follows:
Restrictions in using the included source code apply as listed in the COPYING file in the included tar ball of Lingeling.