共 50 条
- [2] Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams Theory of Computing Systems, 1999, 32 : 487 - 503
- [10] Partial binary decision diagrams PROCEEDINGS OF THE THIRTY-FOURTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2002, : 422 - 425