Dmitry Itsykson

Identifiers

• name variant Dmitry Itsykson 0.60 · backfill

Papers (2)

1. Tree-like resolution complexity of two planar problems cs.CC · 2014 · author #1
2. On optimal heuristic randomized semidecision procedures, with application to proof complexity cs.CC · 2009 · author #2

Mentions

• 1412.1124 #1 · backfill · confidence 0.70 Dmitry Itsykson
• 0908.2707 #2 · backfill · confidence 0.70 Dmitry Itsykson

Frequent Coauthors

• Anna Malova 1 shared papers
• Dmitry Sokolov 1 shared papers
• Edward A. Hirsch 1 shared papers
• Vsevolod Oparin 1 shared papers