Sergey Krivoi

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Anatoly Chebotarev, Sergey Krivoi
Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. Ershov Memorial Conference (2006)
Sergey Krivoi, Miroslaw Hajder, Pawel Dymora, Miroslaw Mazurek
The computer network topologies designs and the coherent graphs algebra. Ann. UMCS Informatica 5 (1) (2006)
Sergey Krivoi
An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems. PARELEC (2002)
Sergey Krivoi
Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints. PPAM (2001)