@InProceedings{l14-466-477,
AUTHOR = {Antoine Genitrini and C\'ecile Mailler},
TITLE = {Equivalence Classes of Random Boolean Trees and Application to the Catalan Satisfiability Problem},
YEAR = {2014},
BOOKTITLE = {Proc.~of the 11th Latin American Symposium on Theoretical Informatics (LATIN'14)},
ADDRESS = {Montevideo, Uruguay},
PAGES = {466--477},
KEYWORDS = {}}