We obtain exact expressions counting the satisfiable 2-SAT formulae and
...
Random directed graphs D(n,p) undergo a phase transition around the poin...
Combinatorial samplers are algorithmic schemes devised for the approxima...
Directed acyclic graphs (DAGs) can be characterised as directed graphs w...
We prove that, with high probability, the contradictory components of a
...
We present a quantitative, statistical analysis of random lambda terms i...
Boltzmann samplers and the recursive method are prominent algorithmic
fr...