Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations.
Discret. Appl. Math. Vol.212, pp.61-80 (2016), [peer-reviewed]
Abstract / 概要
Abstract could not be automatically retrieved from the linked source. Please add the official abstract manually if available.