Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1005.3502
Cited By
Using machine learning to make constraint solver implementation decisions
19 May 2010
Lars Kotthoff
Ian P. Gent
Ian Miguel
AI4CE
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Using machine learning to make constraint solver implementation decisions"
1 / 1 papers shown
Title
SATzilla: Portfolio-based Algorithm Selection for SAT
Lin Xu
Frank Hutter
Holger H. Hoos
Kevin Leyton-Brown
98
975
0
31 Oct 2011
1
