Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1611.05190
Cited By
Driving CDCL Search
16 November 2016
Carmine Dodaro
Philip Gasteiger
Nicola Leone
Benjamin Musitsch
Francesco Ricca
Konstantin Schekotihin
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Driving CDCL Search"
1 / 1 papers shown
Title
Algorithm Runtime Prediction: Methods & Evaluation
Frank Hutter
Lin Xu
Holger H. Hoos
Kevin Leyton-Brown
71
419
0
05 Nov 2012
1
