Dmitry Sokolov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Sampling and certifying symmetric functions	2025-01-14	Paper
Lower Bounds on OBDD Proofs with Several Orders ACM Transactions on Computational Logic	2022-12-08	Paper
Global Parametrization Based on Ginzburg-Landau Functional Lecture Notes in Computational Science and Engineering	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 Journal of Symbolic Logic	2021-01-29	Paper
scientific article; zbMATH DE number 7250156 (Why is no real title available?)	2020-09-22	Paper
Resolution over linear equations modulo two Annals of Pure and Applied Logic	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 Fundamenta Informaticae	2017-07-28	Paper
Intuitive modeling of vaporish objects Chaos, Solitons and Fractals	2017-02-07	Paper
Heuristic time hierarchies via hierarchies for sampling distributions Algorithms and Computation	2016-01-11	Paper
Resolution complexity of perfect matching principles for sparse graphs Lecture Notes in Computer Science	2015-10-20	Paper
Boundary controlled iterated function systems Curves and Surfaces	2015-09-15	Paper
On the probabilistic closure of the loose unambiguous hierarchy Information Processing Letters	2015-06-02	Paper
Robust Polylines Tracing for N-Symmetry Direction Field on Triangulated Surfaces ACM Transactions on Graphics	2015-02-26	Paper
On fast heuristic non-deterministic algorithms and short heuristic proofs Fundamenta Informaticae	2014-12-22	Paper
Lower Bounds for Splittings by Linear Combinations Mathematical Foundations of Computer Science 2014	2014-10-14	Paper
Joining primal/dual subdivision surfaces Mathematical Methods for Curves and Surfaces	2014-03-31	Paper
Differential behaviour of iteratively generated curves Curves and Surfaces	2012-01-13	Paper
Lower bounds for myopic DPLL algorithms with a cut heuristic Algorithms and Computation	2011-12-16	Paper
The complexity of inversion of explicit Goldreich's function by DPLL algorithms Computer Science – Theory and Applications	2011-06-17	Paper

Research outcomes over time

This page was built for person: Dmitry Sokolov