23 citations · 40 across the 18 of their papers we have counts for
1 paper · 2 filters
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…