"Ensemble-based prediction of SAT search behaviour."

Breanndán Ó Nualláin, Maarten de Rijke, Johan van Benthem (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics