@dblp

Efficient Analysis and Manipulation of OBDDs can be Extended to Read-once-only Branching Programs

, and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1992)

Links and resources

Tags