Mendeley
Skip to content
What is Mendeley?
Search
Create a free account
Sign In
Papers
People
Groups
Search
Search
Search
dmitry sokolov
2
h-index
Impact measure calculated using publication and citation counts. Updated daily.
13
Citations
Number of citations received by dmitry's publications. Updated daily.
Follow
Following
Unfollow
Pending
Cancel
Overview
Stats
Network
Other IDs
Scopus
Author ID: 40662079200
Co-authors (6)
Followers (3)
Following (1)
Publications
(5)
On OBDD-based algorithms and proof systems that dynamically change order of variables
Itsykson D
Knop A
Romashchenko A
et al.
See more
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany (2017) 66 43:1-43:14
N/A
Readers
N/A
Citations
Add to library
Adding
Added
Add failed
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/A
Readers
N/A
Citations
Add to library
Adding
Added
Add failed
Get full text
Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles
Itsykson D
Oparin V
Slabodkin M
et al.
See more
Fundamenta Informaticae (2016) 145(3) 229-242
N/A
Readers
N/A
Citations
Add to library
Adding
Added
Add failed
Get full text
Heuristic time hierarchies via hierarchies for sampling distributions
Itsykson D
Knop A
Sokolov D
(2015), 201-211
N/A
Readers
N/A
Citations
Add to library
Adding
Added
Add failed
Get full text
The Complexity of Inversion of Explicit Goldreich’s Function by DPLL Algorithms
Itsykson D
Sokolov D
(2011), 134-147
N/A
Readers
N/A
Citations
Add to library
Adding
Added
Add failed
Get full text