Login / Signup
Mark Sevalnev
Publication Activity (10 Years)
Years Active: 2009-2009
Publications (10 Years): 0
</>
Publications
</>
Tomi Janhunen
,
Ilkka Niemelä
,
Mark Sevalnev
Computing Stable Models via Reductions to Difference Logic.
LPNMR
(2009)