Arist Kojevnikov

Publication Activity (10 Years)

Years Active: 2001-2010
Publications (10 Years): 0

Publications

Arist Kojevnikov, Alexander S. Kulikov
Circuit Complexity and Multiplicative Complexity of Boolean Functions. CiE (2010)
Evgeny Demenkov, Arist Kojevnikov, Alexander S. Kulikov, Grigory Yaroslavtsev
New upper bounds on the Boolean circuit complexity of symmetric functions. Inf. Process. Lett. 110 (7) (2010)
Arist Kojevnikov, Alexander S. Kulikov, Grigory Yaroslavtsev
Finding Efficient Circuits Using SAT-Solvers. SAT (2009)
Edward A. Hirsch, Arist Kojevnikov, Alexander S. Kulikov, Sergey I. Nikolenko
Complexity of Semialgebraic Proofs with Restricted Degree of Falsity. J. Satisf. Boolean Model. Comput. 6 (1-3) (2009)
Arist Kojevnikov, Sergey I. Nikolenko
New Combinatorial Complete One-Way Functions CoRR (2008)
Arist Kojevnikov, Sergey I. Nikolenko
New Combinatorial Complete One-Way Functions. STACS (2008)
Arist Kojevnikov
Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities. SAT (2007)
Arist Kojevnikov
Improved Lower Bounds for Resolution over Linear Inequalities. Electron. Colloquium Comput. Complex. 14 (010) (2007)
Arist Kojevnikov, Alexander S. Kulikov
A new approach to proving upper bounds for MAX-2-SAT. SODA (2006)
Arist Kojevnikov, Alexander S. Kulikov
Complexity of Semialgebraic Proofs with Restricted Degree of Falsity. SAT (2006)
Arist Kojevnikov, Dmitry Itsykson
Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies. ICALP (1) (2006)
Edward A. Hirsch, Arist Kojevnikov
Several notes on the power of Gomory-Chvátal cuts. Ann. Pure Appl. Log. 141 (3) (2006)
Edward A. Hirsch, Arist Kojevnikov
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination. Ann. Math. Artif. Intell. 43 (1) (2005)
Edward A. Hirsch, Arist Kojevnikov
Several notes on the power of Gomory-Chvatal cuts Electron. Colloquium Comput. Complex. 10 (012) (2003)
Edward A. Hirsch, Arist Kojevnikov
Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination. CP (2001)