"Using machine learning to make constraint solver implementation decisions"

Lars Kotthoff, Ian P. Gent, Ian Miguel (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics