12 citations · 23 across the 13 of their papers we have counts for
Showing cs.DSShow all
3 papers · 1 filter
cs.DS2022
An iterative approach for counting reduced ordered binary decision diagrams
Julien Clément, Antoine Genitrini
For three decades binary decision diagrams, a data structure efficiently representing Boolean functions, have been widely used in many distinct contexts like model verification, ma…
cs.DS2019
Binary Decision Diagrams: from Tree Compaction to Sampling
Julien Clément, Antoine Genitrini
Any Boolean function corresponds with a complete full binary decision tree. This tree can in turn be represented in a maximally compact form as a direct acyclic graph where common…
cs.DS2018
Ranked Schröder Trees
Olivier Bodini, Antoine Genitrini, Mehdi Naima
In biology, a phylogenetic tree is a tool to represent the evolutionary relationship between species. Unfortunately, the classical Schröder tree model is not adapted to take into a…