Arist Kojevnikov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2001–2010
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | CiE | Circuit Complexity and Multiplicative Complexity of Boolean Functions. | Arist Kojevnikov, Alexander S. Kulikov |
| 2009 | SAT | Finding Efficient Circuits Using SAT-Solvers. | Arist Kojevnikov, Alexander S. Kulikov, Grigory Yaroslavtsev |
| 2008 | STACS | New Combinatorial Complete One-Way Functions. | Arist Kojevnikov, Sergey I. Nikolenko |
| 2007 | SAT | Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities. | Arist Kojevnikov |
| 2006 | ICALP | Lower Bounds of Static Lovsz-Schrijver Calculus Proofs for Tseitin Tautologies. | Arist Kojevnikov, Dmitry Itsykson |
| 2006 | SODA | A new approach to proving upper bounds for MAX-2-SAT. | Arist Kojevnikov, Alexander S. Kulikov |
| 2006 | SAT | Complexity of Semialgebraic Proofs with Restricted Degree of Falsity. | Arist Kojevnikov, Alexander S. Kulikov |
| 2001 | CP | Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination. | Edward A. Hirsch, Arist Kojevnikov |