Arist Kojevnikov
St. Petersburg Department of Steklov Institute of Mathematics(RU)
Publications by Year
Research Areas
Formal Methods in Verification, semigroups and automata theory, Complexity and Algorithms in Graphs, Advanced Graph Theory Research, Coding theory and cryptography
Most-Cited Works
- → UnitWalk: A New SAT Solver that Uses Local Search Guided by Unit Clause Elimination(2004)92 cited
- → A new approach to proving upper bounds for MAX-2-SAT(2006)42 cited
- → Finding Efficient Circuits Using SAT-Solvers(2009)39 cited
- → Lower bounds on static Lovász-Schrijver calculus proofs for Tseitin tautologies(2007)33 cited
- → New upper bounds on the Boolean circuit complexity of symmetric functions(2010)30 cited
- → Several notes on the power of Gomory–Chvátal cuts(2006)30 cited
- → Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies(2006)21 cited
- → Solving Boolean Satisfiability Using Local Search Guided by Unit Clause Elimination(2001)17 cited