2008 | ||
---|---|---|
6 | EE | Arist Kojevnikov, Sergey I. Nikolenko: New Combinatorial Complete One-Way Functions. STACS 2008: 457-466 |
5 | EE | Arist Kojevnikov, Sergey I. Nikolenko: New Combinatorial Complete One-Way Functions CoRR abs/0802.2863: (2008) |
2005 | ||
4 | EE | Alexander L. Tulupyev, Sergey I. Nikolenko: Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity. MICAI 2005: 214-223 |
3 | EE | Edward A. Hirsch, Sergey I. Nikolenko: Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution. SAT 2005: 135-142 |
2 | EE | Edward A. Hirsch, Sergey I. Nikolenko: Simulating Cutting Plane proofs with restricted degree of falsity by Resolution Electronic Colloquium on Computational Complexity (ECCC)(006): (2005) |
2003 | ||
1 | EE | Sergey I. Nikolenko: Hard satisfiable formulas for DPLL-type algorithms CoRR cs.CC/0301012: (2003) |
1 | Edward A. Hirsch | [2] [3] |
2 | Arist Kojevnikov | [5] [6] |
3 | Alexander L. Tulupyev | [4] |