Variable ordering for ordered binary decision diagrams by a divide-and-conquer approach
Journal
IEE Proceedings: Computers and Digital Techniques
Journal Volume
144
Journal Issue
5
Pages
261-266
Date Issued
1997
Author(s)
Yeh, F.-M.
Type
journal article
