Sergey Dovgal

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 15

Top Topics

Boolean Satisfiability

Convex Optimisation

Top Venues

Comb. Probab. Comput.

Electron. J. Comb.

Publications

Sergey Dovgal, Élie de Panafieu, Dimbinaina Ralaivaosaona, Vonjy Rasendrahasina, Stephan G. Wagner
The birth of the strong components. Random Struct. Algorithms 64 (2) (2024)
Sergey Dovgal, Sergey Kirgizov
Structure and growth of R-bonacci words. CoRR (2023)
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers. Comb. Probab. Comput. 31 (5) (2022)
Sergey Dovgal, Élie de Panafieu, Vlady Ravelomanana
Exact enumeration of satisfiable 2-SAT formulae. CoRR (2021)
Élie de Panafieu, Sergey Dovgal
Counting directed acyclic and elementary digraphs. CoRR (2020)
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers. CoRR (2020)
Élie de Panafieu, Sergey Dovgal, Dimbinaina Ralaivaosaona, Vonjy Rasendrahasina, Stephan G. Wagner
The birth of the strong components. CoRR (2020)
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Statistical Properties of Lambda Terms. Electron. J. Comb. 26 (4) (2019)
Sergey Dovgal
The birth of the contradictory component in random 2-SAT. CoRR (2019)
Sergey Dovgal, Vlady Ravelomanana
Shifting the Phase Transition Threshold for Random Graphs Using Degree Set Constraints. LATIN (2018)
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Polynomial tuning of multiparametric combinatorial samplers. ANALCO (2018)
Olivier Bodini, Julien Courtiel, Sergey Dovgal, Hsien-Kuei Hwang
Asymptotic Distribution of Parameters in Random Maps. AofA (2018)
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Statistical properties of lambda terms. CoRR (2018)
Maciej Bendkowski, Olivier Bodini, Sergey Dovgal
Polynomial tuning of multiparametric combinatorial samplers. CoRR (2017)
Sergey Dovgal, Vlady Ravelomanana
Shifting the Phase Transition Threshold for Random Graphs and 2-SAT using Degree Constraints. CoRR (2017)