ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 0907.5032
  4. Cited By
Restart Strategy Selection using Machine Learning Techniques

Restart Strategy Selection using Machine Learning Techniques

29 July 2009
Shai Haim
T. Walsh
ArXivPDFHTML

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)
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
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
Online Estimation of SAT Solving Runtime
Shai Haim
T. Walsh
OffRL
69
18
0
04 Mar 2009
1