activity
20132026
most citedAsymptotic Enumeration of Compacted Binary Trees of Bounded Right Height

12 citations · 23 across the 13 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

math.CO2015

Generalised and Quotient Models for Random And/Or Trees and Application to Satisfiability

Antoine Genitrini, Cécile Mailler

This article is motivated by the following satisfiability question: pick uniformly at random an and/or Boolean expression of length n, built on a set of k_n Boolean variables. What…