6 citations · 10 across the 7 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.CO2019★ 1 cited
The birth of the contradictory component in random 2-SAT
Sergey Dovgal
We prove that, with high probability, the contradictory components of a random 2-SAT formula in the subcritical phase of the phase transition have only 3-regular kernels. This foll…
math.CO2019★ 6 cited
Symbolic method and directed graph enumeration
Élie de Panafieu, Sergey Dovgal
We introduce the arrow product, a systematic generating function technique for directed graph enumeration. It provides short proofs for previous results of Gessel on the number of…