Shai Haim

	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

Coauthor Index

1

Toby Walsh

[1] [2] [3] [4] [5]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page