Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 1.

Kettle, Neil and King, Andy (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference. IEEE, pp. 243-248. ISBN 0-7803-9451-8. (doi:10.1145/1118299.1118364) (KAR id:37604)

This list was generated on Fri May 3 22:46:19 2024 BST.