Arist Kojevnikov

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