Dmitry Sokolov

Available identifiers

zbMath Open sokolev.dmitryWikidataQ102437588 ScholiaQ102437588MaRDI QIDQ508471

List of research outcomes

Publication	Date of Publication	Type
Sampling and certifying symmetric functions	2025-01-14	Paper
Lower Bounds on OBDD Proofs with Several Orders	2022-12-08	Paper
Global Parametrization Based on Ginzburg-Landau Functional	2022-01-05	Paper
Geometric Modeling of Fractal Forms for CAD	2021-07-28	Paper
ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES	2021-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q5121904	2020-09-22	Paper
Resolution over linear equations modulo two	2019-11-06	Paper
On OBDD-Based Algorithms and Proof Systems That Dynamically Change Order of Variables	2018-04-19	Paper
Complexity of Distributions and Average-Case Hardness	2018-04-19	Paper
Dag-like communication and its applications	2017-08-22	Paper
Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles	2017-07-28	Paper
Intuitive modeling of vaporish objects	2017-02-07	Paper
Heuristic Time Hierarchies via Hierarchies for Sampling Distributions	2016-01-11	Paper
Resolution Complexity of Perfect Matching Principles for Sparse Graphs	2015-10-20	Paper
Boundary Controlled Iterated Function Systems	2015-09-15	Paper
On the probabilistic closure of the loose unambiguous hierarchy	2015-06-02	Paper
Robust Polylines Tracing for N-Symmetry Direction Field on Triangulated Surfaces	2015-02-26	Paper
On Fast Heuristic Non-deterministic Algorithms and Short Heuristic Proofs	2014-12-22	Paper
Lower Bounds for Splittings by Linear Combinations	2014-10-14	Paper
Joining Primal/Dual Subdivision Surfaces	2014-03-31	Paper
Differential behaviour of iteratively generated curves	2012-01-13	Paper
Lower bounds for myopic DPLL algorithms with a cut heuristic	2011-12-16	Paper
The complexity of inversion of explicit Goldreich's function by DPLL algorithms	2011-06-17	Paper

Research outcomes over time

This page was built for person: Dmitry Sokolov