| |
| 2006 | ||
|---|---|---|
| 4 | EE | Arist Kojevnikov, Dmitry Itsykson: Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies. ICALP (1) 2006: 323-334 |
| 2005 | ||
| 3 | EE | Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson: Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas. J. Autom. Reasoning 35(1-3): 51-72 (2005) |
| 2004 | ||
| 2 | EE | Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson: Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas. ICALP 2004: 84-96 |
| 1 | EE | Michael Alekhnovich, Edward A. Hirsch, Dmitry Itsykson: Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas Electronic Colloquium on Computational Complexity (ECCC)(041): (2004) |
| 1 | Michael Alekhnovich | [1] [2] [3] |
| 2 | Edward A. Hirsch | [1] [2] [3] |
| 3 | Arist Kojevnikov | [4] |