Concepedia
Statistics
Publications
7
Citations
259
H-Index
Active since
2004
Affiliations
Steklov Mathematical Institute(Current)
St. Petersburg Department of Steklov Institute of Mathematics
Arist Kojevnikov is an author at Steklov Mathematical Institute specializing in computer science, algorithms, and computing.
Publications per year
2004–2010
UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination
Edward Hirsch, Arist Kojevnikov · Annals of Mathematics and Artificial Intelligence · 2004 · 92 citations
Computing, Computer Science, Algorithms +3
A new approach to proving upper bounds for MAX-2-SAT
Arist Kojevnikov, Alexander S. Kulikov · Symposium on Discrete Algorithms · 2006 · 42 citations
Computing, Computer Science, Mathematics +16
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
Edward Hirsch, Arist Kojevnikov · Annals of Mathematics and Artificial Intelligence · 2004 · 31 citations
New upper bounds on the Boolean circuit complexity of symmetric functions
Evgeny Demenkov, Arist Kojevnikov, Alexander S. Kulikov et al. · Information Processing Letters · 2010 · 30 citations
Several notes on the power of Gomory–Chvátal cuts
Edward Hirsch, Arist Kojevnikov · Annals of Pure and Applied Logic · 2006 · 30 citations
Natural Sciences, Legislative Affairs, Combinatorics +1
1–5 of 7