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