Shai Haim
According to our database1,
Shai Haim
authored at least 5 papers
between 2008 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
2010
Runtime estimation of backtracking satisfiability solvers: a machine learning approach.
PhD thesis, 2010
2009
Proceedings of the Theory and Applications of Satisfiability Testing, 2009
2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008