BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × United Kingdom
Collaborated with:
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 DBLP: Haim:Shai

Contributed to:

SAT 20092009
SAT 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.