Neil Kettle

An anytime symmetry detection algorithm for ROBDDs

Andy King, Neil Kettle, 2006, Asia and South Pacific Conference on Design Automation, 2006..

Anytime algorithms for ROBDD symmetry detection and approximation

Neil Kettle, 2008 .

Widening ROBDDs with Prime Implicants

Andy King, Tadeusz Strzemecki, Neil Kettle, 2006, TACAS.

An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs

Andy King, Neil Kettle, 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.