An anytime symmetry detection algorithm for ROBDDs. - Neil Kettle; Andy King (ASP-DAC, 2006)

Widening ROBDDs with Prime Implicants. - Neil Kettle; Andy King; Tadeusz Strzemecki (TACAS, 2006)

An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. - Neil Kettle; Andy King (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Anytime algorithms for ROBDD symmetry detection and approximation. - Neil Kettle (2008)