Neil Kettle

According to our database, Neil Kettle authored at least 4 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Anytime algorithms for ROBDD symmetry detection and approximation.

Neil Kettle

PhD thesis, 2008

An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs.

Neil Kettle, Andy King

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2006

Widening ROBDDs with Prime Implicants.

Neil Kettle, Andy King, Tadeusz Strzemecki

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

An anytime symmetry detection algorithm for ROBDDs.

Neil Kettle, Andy King

Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006