Concepedia

Dmitry Itsykson

DI

Statistics

Publications

2

Citations

75

H-Index

2

Active since

2006

Affiliations

Institute for Advanced Study(Current)

Dmitry Itsykson is an author at Institute for Advanced Study specializing in computer science, mathematics, and arithmetic geometry.

ORCID

Publications per year

2006–2019

2

Publications

2

Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas

Michael Alekhnovich, Edward Hirsch, Dmitry Itsykson · Journal of Automated Reasoning · 2006 · 62 citations

, , +10

Resolution over linear equations modulo two

Dmitry Itsykson, Dmitry Sokolov · Annals of Pure and Applied Logic · 2019 · 13 citations

, , +3

1–2 of 2