@inproceedings{CG20, author = {J. Cl\'ement and A. Genitrini}, title = {Binary Decision Diagrams: From Tree Compaction to Sampling}, booktitle = {{LATIN} 2020: Theoretical Informatics - 14th Latin American Symposium, S{\~{a}}o Paulo, Brazil, January 5-8, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12118}, pages = {571--583}, publisher = {Springer}, year = {2020}, doi = {10.1007/978-3-030-61792-9\_45} }