Norbert Manthey and Sibylle Möhle. Better Evaluations by Analyzing Benchmark Structure. In: POS@SAT 2016.

[  paper | slides ]