Travelled to:
1 × China
1 × United Kingdom
Collaborated with:
T.Walsh
Talks about:
techniqu (1) strategi (1) restart (1) select (1) runtim (1) machin (1) onlin (1) learn (1) estim (1) solv (1)
Person: Shai Haim
DBLP: Haim:Shai
Contributed to:
Wrote 2 papers:
- SAT-2009-HaimW #machine learning #using
- Restart Strategy Selection Using Machine Learning Techniques (SH, TW), pp. 312–325.
- SAT-2008-HaimW #estimation #online #runtime #satisfiability
- Online Estimation of SAT Solving Runtime (SH, TW), pp. 133–138.