Equivalence classes of random Boolean trees and application to the Catalan satisfiability problem.

Cecile Mailler, Antoine Genitrini

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
Original languageEnglish
Title of host publication11th Latin American Theoretical INformatics Symposium (LATIN)
Publication statusPublished - 2014

Cite this