Skip to content

dmitry sokolov

    • 3h-indexImpact measure calculated using publication and citation counts. Updated daily.
    • 19CitationsNumber of citations received by dmitry's publications. Updated daily.

    Other IDs

    Co-authors (13)

    • Mikhail Dvorkin
    • Oleksandr Vitvitskyy
    • Alexander Kulikov

    Publications (5)

    • On OBDD-based algorithms and proof systems that dynamically change order of variables

      • Itsykson D
      • Knop A
      • Romashchenko A
      • et al.
      34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany (2017) 66 43:1-43:14
      N/AReaders
      N/ACitations
      Get full text

    • Complexity of distributions and average-case hardness

      • Itsykson D
      • Knop A
      • Sokolov D
      27th International Symposium on Algorithms and Computation, ISAAC 2016, December 12-14, 2016, Sydney, Australia (2016) 64 38:1-38:12
      N/AReaders
      N/ACitations
      Get full text

    • Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles

      • Itsykson D
      • Oparin V
      • Slabodkin M
      • et al.
      Fundamenta Informaticae (2016) 145(3) 229-242
      N/AReaders
      N/ACitations
      Get full text

    • Heuristic time hierarchies via hierarchies for sampling distributions

      • Itsykson D
      • Knop A
      • Sokolov D
      (2015), 201-211
      N/AReaders
      N/ACitations
      Get full text

    • The Complexity of Inversion of Explicit Goldreich’s Function by DPLL Algorithms

      • Itsykson D
      • Sokolov D
      (2011), 134-147
      N/AReaders
      N/ACitations
      Get full text