Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Book section
Number of items: 1.
Book section
Kettle, Neil and King, Andy (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. Asia and South Pacific Design Automation Conference. IEEE Press, pp. 243-248. ISBN 0-7803-9451-8. (doi:https://doi.org/10.1145/1118299.1118364) (Full text available) |