Login / Signup
Shlomi Livne
Publication Activity (10 Years)
Years Active: 2003-2011
Publications (10 Years): 0
</>
Publications
</>
Orna Grumberg
,
Shlomi Livne
,
Shaul Markovitch
Learning to Order BDD Variables in Verification
CoRR
(2011)
Orna Grumberg
,
Shlomi Livne
,
Shaul Markovitch
Learning to Order BDD Variables in Verification.
J. Artif. Intell. Res.
18 (2003)