Shai Haim

Identifiers

• name variant Shai Haim 0.60 · backfill

Papers (4)

1. Towards Ultra Rapid Restarts cs.AI · 2014 · author #1
2. Online Search Cost Estimation for SAT Solvers cs.AI · 2009 · author #1
3. Restart Strategy Selection using Machine Learning Techniques cs.AI · 2009 · author #1
4. Online Estimation of SAT Solving Runtime cs.AI · 2009 · author #1

Mentions

• 1402.4413 #1 · backfill · confidence 0.70 Shai Haim
• 0907.5033 #1 · backfill · confidence 0.70 Shai Haim
• 0907.5032 #1 · backfill · confidence 0.70 Shai Haim
• 0903.0695 #1 · backfill · confidence 0.70 Shai Haim

Frequent Coauthors

• Toby Walsh 3 shared papers
• Marijn Heule 1 shared papers