Online Estimation of SAT Solving Runtime. - Shai Haim; Toby Walsh (SAT, 2008)

Restart Strategy Selection Using Machine Learning Techniques. - Shai Haim; Toby Walsh (SAT, 2009)

Online Search Cost Estimation for SAT Solvers - Shai Haim; Toby Walsh (CoRR, 2009)

Runtime estimation of backtracking satisfiability solvers: a machine learning approach. - Shai Haim (2010)

Towards Ultra Rapid Restarts. - Shai Haim; Marijn Heule (CoRR, 2014)