Dmitry Itsykson

Dmitry Itsykson

Steklov Mathematical Institute Russian Academy of Sciences - Moscow / Russia
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4486611
Математический институт имени В. А. Стеклова Российской академии наук
person_outline Dmitry Itsykson's MOST POPULAR ARTICLES
1-) Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulasM Alekhnovich, EA Hirsch, D ItsyksonSAT 2005, 51-72, 2006872006
2-) On obdd-based algorithms and proof systems that dynamically change the order of variablesD Itsykson, A Knop, A Romashchenko, D SokolovThe Journal of Symbolic Logic 85 (2), 632-670, 2020252020
3-) Lower bounds for splittings by linear combinationsD Itsykson, D SokolovInternational Symposium on Mathematical Foundations of Computer Science, 372-383, 2014252014
4-) Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulasM Alekhnovich, EA Hirsch, D ItsyksonAutomata, Languages and Programming: 31st International Colloquium, ICALP …, 2004252004
5-) Reordering rule makes OBDD proof systems strongerS Buss, D Itsykson, A Knop, D Sokolov33rd Computational Complexity Conference (CCC 2018), 2018232018