Sequence binary decision diagram: minimization, relationship to acyclic automata, and complexities of Boolean set operations

From MaRDI portal
Publication:313770