Browse by Journal
Jump to: 2006
Number of items: 1.
2006
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) |