research
∙
08/18/2021
Exact enumeration of satisfiable 2-SAT formulae
We obtain exact expressions counting the satisfiable 2-SAT formulae and ...
share
research
∙
09/25/2020
The birth of the strong components
Random directed graphs D(n,p) undergo a phase transition around the poin...
research
∙
02/26/2020
Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers
Combinatorial samplers are algorithmic schemes devised for the approxima...
research
∙
01/23/2020
Counting directed acyclic and elementary digraphs
Directed acyclic graphs (DAGs) can be characterised as directed graphs w...
research
∙
04/23/2019
The birth of the contradictory component in random 2-SAT
We prove that, with high probability, the contradictory components of a ...
research
∙
05/23/2018
Statistical properties of lambda terms
We present a quantitative, statistical analysis of random lambda terms i...
research
∙
08/03/2017
