Jörn Ossowski, Christel Baier. Symbolic Reasoning with Weighted and Normalized Decision Diagrams. Electronic Notes in Theoretical Computer Science, 151(1):39-56, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.