| |
| 2006 | ||
|---|---|---|
| 3 | EE | Anatoly Chebotarev, Sergey Krivoi: Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. Ershov Memorial Conference 2006: 438-442 |
| 2002 | ||
| 2 | EE | Sergey Krivoi: An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems. PARELEC 2002: 99- |
| 2001 | ||
| 1 | EE | Sergey Krivoi: Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints. PPAM 2001: 264-271 |
| 1 | Anatoly Chebotarev | [3] |