Dmitry Sokolov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
10
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | STOC | Sampling Permutations with Cell Probes Is Hard. | Yaroslav Alekseev, Mika Gs, Konstantin Myasnikov, Artur Riazanov, Dmitry Sokolov |
| 2026 | STOC | Monotone Circuit Complexity of Matching. | Bruno Cavalar, Mika Gs, Artur Riazanov, Anastasia Sofronova, Dmitry Sokolov |
| 2026 | STOC | Pseudodeterministic Communication Complexity. | Mika Gs, Nathaniel Harms, Artur Riazanov, Anastasia Sofronova, Dmitry Sokolov, Weiqiang Yuan |
| 2025 | FOCS | Sign-Rank of k-Hamming Distance is Constant. | Mika Gs, Nathaniel Harms, Valentin Imbach, Dmitry Sokolov |
| 2025 | STOC | Supercritical Tradeoffs for Monotone Circuits. | Mika Gs, Gilbert Maystre, Kilian Risse, Dmitry Sokolov |
| 2024 | STOC | Random (log n)-CNF Are Hard for Cutting Planes (Again). | Dmitry Sokolov |
| 2024 | STOC | Hardness Condensation by Restriction. | Mika Gs, Ilan Newman, Artur Riazanov, Dmitry Sokolov |
| 2023 | FOCS | Top-Down Lower Bounds for Depth-Four Circuits. | Mika Gs, Artur Riazanov, Anastasia Sofronova, Dmitry Sokolov |
| 2021 | ICRA | Gyrubot: nonanthropomorphic stabilization for a biped. | Nikita Mikhalkov, Alexey Prutskiy, Semyon Sechenev, Dmitry Kazakov, Alexey Simulin, Dmitry Sokolov, Igor Ryadchikov |
| 2021 | ISVC | Frame Fields for CAD Models. | David Desobry, Franois Protais, Nicolas Ray, Etienne Corman, Dmitry Sokolov |
| 2021 | SIGGRAPH | Least squares for programmers: with color plates. | Dmitry Sokolov, Nicolas Ray, Etienne Corman |
| 2021 | STOC | Automating algebraic proof systems is NP-hard. | Susanna F. de Rezende, Mika Gs, Jakob Nordstrm, Toniann Pitassi, Robert Robere, Dmitry Sokolov |
| 2020 | STOC | (Semi)Algebraic proofs over ±1 variables. | Dmitry Sokolov |
| 2019 | ACII | Business Models for Emerging Technologies: The Case of Affective Computing. | Olga Ignatyeva, Dmitry Sokolov, Olga Lukashenko, Aleksandra Shalakitskaia, Sebastian Denef, Tatjana Samsonowa |
| 2018 | STOC | Monotone circuit lower bounds from resolution. | Ankit Garg, Mika Gs, Pritish Kamath, Dmitry Sokolov |
| 2017 | CSR | Dag-Like Communication and Its Applications. | Dmitry Sokolov |
| 2017 | STACS | On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables. | Dmitry Itsykson, Alexander Knop, Andrei Romashchenko, Dmitry Sokolov |
| 2016 | ISAAC | Complexity of Distributions and Average-Case Hardness. | Dmitry Itsykson, Alexander Knop, Dmitry Sokolov |
| 2015 | CSR | Resolution Complexity of Perfect Matching Principles for Sparse Graphs. | Dmitry Itsykson, Mikhail Slabodkin, Dmitry Sokolov |
| 2015 | ISAAC | Heuristic Time Hierarchies via Hierarchies for Sampling Distributions. | Dmitry Itsykson, Alexander Knop, Dmitry Sokolov |
| 2014 | MFCS | Lower Bounds for Splittings by Linear Combinations. | Dmitry Itsykson, Dmitry Sokolov |
| 2011 | CSR | The Complexity of Inversion of Explicit Goldreich's Function by DPLL Algorithms. | Dmitry Itsykson, Dmitry Sokolov |
| 2011 | ISAAC | Lower Bounds for Myopic DPLL Algorithms with a Cut Heuristic. | Dmitry Itsykson, Dmitry Sokolov |