Skip to content

dmitry sokolov

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

    Other IDs

    Co-authors (6)

    • 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.
      N/AReaders
      N/ACitations
      Get full text
    • Complexity of distributions and average-case hardness

      • Itsykson D
      • Knop A
      • Sokolov D
      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.
      N/AReaders
      N/ACitations
      Get full text
    • Heuristic time hierarchies via hierarchies for sampling distributions

      • Itsykson D
      • Knop A
      • Sokolov D
      N/AReaders
      N/ACitations
      Get full text
    • The Complexity of Inversion of Explicit Goldreich’s Function by DPLL Algorithms

      • Itsykson D
      • Sokolov D
      N/AReaders
      N/ACitations
      Get full text