ResearchTrend.AI
Using machine learning to make constraint solver implementation decisions

Using machine learning to make constraint solver implementation decisions

Lars Kotthoff
Ian P. Gent
Ian Miguel
ArXivPDFHTML

Papers citing "Using machine learning to make constraint solver implementation decisions"

1 / 1 papers shown
Title
SATzilla: Portfolio-based Algorithm Selection for SAT
SATzilla: Portfolio-based Algorithm Selection for SAT
Lin Xu
Frank Hutter
Holger H. Hoos
Kevin Leyton-Brown
98
975
0
31 Oct 2011

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.