1993 | ||
---|---|---|
3 | Nikolai K. Kossovsky, Igor P. Solovjev: Function-Patterns and Fan-Backtracking for Logic Programming. ICLP 1993: 843 | |
1992 | ||
2 | Nikolai K. Kossovsky, A. B. Prokhoroff: The Polynominal Complexity of Conjunctive Normal Form Satisfiability, when the Number of Conjunctions and Negations is Limited. LFCS 1992: 241-245 | |
1987 | ||
1 | Nikolai K. Kossovsky: A Chriterion of Polynominal Lower Bounds of Combinational Complexity. FCT 1987: 244-245 |
1 | A. B. Prokhoroff | [2] |
2 | Igor P. Solovjev | [3] |