Equivalence Classes of Random Boolean Trees and Application to the Catalan Satisfiability Problem.

Antoine Genitrini, Ccile Mailler

Browse the full LATIN paper archive.