An anytime symmetry detection algorithm for ROBDDs.

Neil Kettle, Andy King

Browse the full ASPDAC paper archive.