[Samulowitz and Memisevic 2007] Samulowitz, H., and Memisevic, R. 2007. Learning to Solve QBF. *In proc.*
of 22nd Conference on Artificial Intelligence, AAAI.

[Xu et al. 2007] Xu, L.; Hutter, F.; Hoos, H.; and LeytonBrown, K. 2007. SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT. *Lecture Notes in Computer Science* 4741:712.

[Xu, Hoos, and Leyton-Brown 2007] Xu, L.; Hoos, H. H.;
and Leyton-Brown, K. 2007. Hierarchical hardness models for sat. In *Principles and Practice of Constraint Programming (CP-07)*, volume 4741 of Lecture Notes in Computer Science, 696–711. Springer-Verlag.