Login / Signup
Olga Shumsky
Publication Activity (10 Years)
Years Active: 1997-2000
Publications (10 Years): 0
</>
Publications
</>
William McCune
,
Olga Shumsky
System Description: IVY.
CADE
(2000)
Olga Shumsky
,
Ralph W. Wilkerson
,
William McCune
,
Fikret Erçal
Direct finite first-order model generation with negative constraint propagation heuristic.
SAC
(1997)