![]() | ![]() |
| 2009 | ||
|---|---|---|
| 5 | Shai Haim, Toby Walsh: Restart Strategy Selection Using Machine Learning Techniques. SAT 2009: 312-325 | |
| 4 | Shai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime CoRR abs/0903.0695: (2009) | |
| 3 | Shai Haim, Toby Walsh: Restart Strategy Selection using Machine Learning Techniques CoRR abs/0907.5032: (2009) | |
| 2 | Shai Haim, Toby Walsh: Online Search Cost Estimation for SAT Solvers CoRR abs/0907.5033: (2009) | |
| 2008 | ||
| 1 | Shai Haim, Toby Walsh: Online Estimation of SAT Solving Runtime. SAT 2008: 133-138 | |
| 1 | Toby Walsh | [1] [2] [3] [4] [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page