Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0907.5032
Cited By
Restart Strategy Selection using Machine Learning Techniques
29 July 2009
Shai Haim
T. Walsh
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Restart Strategy Selection using Machine Learning Techniques"
3 / 3 papers shown
Title
Is Parallel Programming Hard, And, If So, What Can You Do About It? (Release v2023.06.11a)
P. McKenney
40
100
0
03 Jan 2017
SATzilla: Portfolio-based Algorithm Selection for SAT
Lin Xu
Frank Hutter
Holger H. Hoos
Kevin Leyton-Brown
98
975
0
31 Oct 2011
Online Estimation of SAT Solving Runtime
Shai Haim
T. Walsh
OffRL
69
18
0
04 Mar 2009
1