Shai Haim

Publication Activity (10 Years)

Years Active: 2008-2014
Publications (10 Years): 0

Top Topics

Search Problems

Top Venues

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Shai Haim, Marijn Heule
Towards Ultra Rapid Restarts. CoRR (2014)
Shai Haim, Toby Walsh
Restart Strategy Selection Using Machine Learning Techniques. SAT (2009)
Shai Haim, Toby Walsh
Online Estimation of SAT Solving Runtime CoRR (2009)
Shai Haim, Toby Walsh
Restart Strategy Selection using Machine Learning Techniques CoRR (2009)
Shai Haim, Toby Walsh
Online Search Cost Estimation for SAT Solvers CoRR (2009)
Shai Haim, Toby Walsh
Online Estimation of SAT Solving Runtime. SAT (2008)