Travelled to:1 × Finland
1 × Italy
Collaborated with:A.Kojevnikov M.Alekhnovich E.A.Hirsch
Talks about:lower (2) bound (2) schrijver (1) exponenti (1) algorithm (1) tautolog (1) calculus (1) tseitin (1) satisfi (1) formula (1)
Person: Dmitry Itsykson
DBLP: Itsykson:Dmitry
Contributed to:
20062004Wrote 2 papers:
- ICALP-v1-2006-KojevnikovI #bound #calculus #proving
- Lower Bounds of Static Lovász-Schrijver Calculus Proofs for Tseitin Tautologies (AK, DI), pp. 323–334.
- ICALP-2004-AlekhnovichHI #algorithm #bound #exponential #satisfiability
- Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas (MA, EAH, DI), pp. 84–96.