UnitWalk: A new SAT solver that uses local search guided by unit clause elimination EA Hirsch, A Kojevnikov Annals of Mathematics and Artificial Intelligence 43, 91-111, 2005 | 167 | 2005 |

A new approach to proving upper bounds for MAX-2-SAT A Kojevnikov, AS Kulikov SODA 6, 11-17, 2006 | 55 | 2006 |

Finding efficient circuits using SAT-solvers A Kojevnikov, AS Kulikov, G Yaroslavtsev Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 52 | 2009 |

New upper bounds on the Boolean circuit complexity of symmetric functions E Demenkov, A Kojevnikov, A Kulikov, G Yaroslavtsev Information Processing Letters 110 (7), 264-267, 2010 | 42 | 2010 |

Solving Boolean satisfiability using local search guided by unit clause elimination EA Hirsch, A Kojevnikov Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | 24 | 2001 |

Circuit Complexity and Multiplicative Complexity of Boolean Functions. A Kojevnikov, AS Kulikov CiE, 239-245, 2010 | 21 | 2010 |

Lower bounds of static Lovasz-Schrijver calculus proofs for Tseitin tautologies A Kojevnikov, D Itsykson Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 2006 | 21 | 2006 |

Intuitionistic Frege systems are polynomially equivalent G Mints, AA Kojevnikov Записки научных семинаров ПОМИ 316 (0), 129-146, 2004 | 14 | 2004 |

Improved lower bounds for tree-like resolution over linear inequalities A Kojevnikov Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007 | 12 | 2007 |

Lower bounds of static Lovász-Schrijver calculus proofs for Tseitin tautologies D Itsykson, A Kojevnikov Zapiski Nauchnyh Seminarov POMI 340, 10-32, 2006 | 10 | 2006 |

New combinatorial complete one-way functions A Kojevnikov, SI Nikolenko arXiv preprint arXiv:0802.2863, 2008 | 9 | 2008 |

Several notes on the power of Gomory–Chvátal cuts EA Hirsch, A Kojevnikov Annals of Pure and Applied Logic 141 (3), 429-436, 2006 | 9 | 2006 |

Report on the mixed boolean-algebraic solver E Hirsch, D Itsykson, A Kojevnikov, A Kulikov, S Nikolenko Technical report, Laboratory of Mathematical Logic of St. Petersburg …, 2005 | 9 | 2005 |

Algebraic cryptography: new constructions and their security against provable break D Grigoriev, A Kojevnikov, S Nikolenko St. Petersburg Mathematical Journal 20 (6), 937-953, 2009 | 7 | 2009 |

Invariant based cryptosystems and their security against provable worst-case break D Grigoriev, A Kojevnikov, S Nikolenko | 6 | 2007 |

On complete one-way functions AA Kojevnikov, SI Nikolenko Problemy Peredachi Informatsii 45 (2), 101-118, 2009 | 5 | 2009 |

Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies DM Itsykson, AA Kojevnikov Journal of Mathematical Sciences 145, 4942-4952, 2007 | 4 | 2007 |

Complexity of semialgebraic proofs with restricted degree of falsity EA Hirsch, A Kojevnikov, AS Kulikov, SI Nikolenko Journal on Satisfiability, Boolean Modeling and Computation 6 (1-3), 53-69, 2010 | 3 | 2010 |

Intuitionistic Frege systems are polynomially equivalent G Mints, A Kojevnikov Journal of Mathematical Sciences 134, 2392-2402, 2006 | 3 | 2006 |

Complexity of semialgebraic proofs with restricted degree of falsity A Kojevnikov, AS Kulikov Theory and Applications of Satisfiability Testing-SAT 2006: 9th …, 2006 | 2 | 2006 |