Login / Signup
Yuri Kostov
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Evgueni Petrov
,
Yuri Kostov
,
Elena Botoeva
UniCalc.LIN: a linear constraint solver for the UniCalc system
CoRR
(2006)