| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Shai Haim, Toby Walsh: Restart Strategy Selection Using Machine Learning Techniques. SAT 2009: 312-325 |
| 4 | EE | Shai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime CoRR abs/0903.0695: (2009) |
| 3 | EE | Shai Haim, Toby Walsh: Restart Strategy Selection using Machine Learning Techniques CoRR abs/0907.5032: (2009) |
| 2 | EE | Shai Haim, Toby Walsh: Online Search Cost Estimation for SAT Solvers CoRR abs/0907.5033: (2009) |
| 2008 | ||
| 1 | EE | Shai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime. SAT 2008: 133-138 |
| 1 | Toby Walsh | [1] [2] [3] [4] [5] |