Searching for authors named "Arist Kojevnikov" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
www.stacs-conf.org NEW COMBINATORIAL COMPLETE ONE-WAY FUNCTIONS
- … (Bordeaux), pp. 457-466 www.stacs-conf.org NEW COMBINATORIAL COMPLETE ONE-WAY FUNCTIONS ARIST KOJEVNIKOV 1…
- Add To MetaCart
-
Lower bounds of static Lovász-Schrijver calculus proofs for Tseitin tautologies
- … ∗ Arist Kojevnikov † St.Petersburg Department of Steklov Institute of Mathematics, 27 Fontanka, 191023 St…
- Cited by 2 (0 self) – Add To MetaCart
-
Several notes on the power of Gomory-Chvátal cuts
- …Several notes on the power of Gomory-Chvatal cuts Edward A. Hirsch y Arist Kojevnikov z…
- Cited by 5 (0 self) – Add To MetaCart
-
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
- …. Hirsch 1?? and Arist Kojevnikov 2? ? ? 1 Russian Academy of Sciences, Steklov Institute…
- Cited by 39 (1 self) – Add To MetaCart
Showing 1 through 4.
