Login / Signup
G. Sripriya
Publication Activity (10 Years)
Years Active: 2009-2009
Publications (10 Years): 0
</>
Publications
</>
G. Sripriya
,
Alan Bundy
,
Alan Smaill
Concurrent-distributed programming techniques for SAT using DPLL-stålmarck.
HPCS
(2009)