
Exact enumeration of satisfiable 2SAT formulae
We obtain exact expressions counting the satisfiable 2SAT formulae and ...
read it

The birth of the strong components
Random directed graphs D(n,p) undergo a phase transition around the poin...
read it

Tuning as convex optimisation: a polynomial tuner for multiparametric combinatorial samplers
Combinatorial samplers are algorithmic schemes devised for the approxima...
read it

Counting directed acyclic and elementary digraphs
Directed acyclic graphs (DAGs) can be characterised as directed graphs w...
read it

The birth of the contradictory component in random 2SAT
We prove that, with high probability, the contradictory components of a ...
read it

Statistical properties of lambda terms
We present a quantitative, statistical analysis of random lambda terms i...
read it

Polynomial tuning of multiparametric combinatorial samplers
Boltzmann samplers and the recursive method are prominent algorithmic fr...
read it
Sergey Dovgal
is this you? claim profile