| 2008 | ||
|---|---|---|
| 3 | EE | Neil Kettle, Andy King: An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Trans. on CAD of Integrated Circuits and Systems 27(4): 764-777 (2008) |
| 2006 | ||
| 2 | EE | Neil Kettle, Andy King: An anytime symmetry detection algorithm for ROBDDs. ASP-DAC 2006: 243-248 |
| 1 | EE | Neil Kettle, Andy King, Tadeusz Strzemecki: Widening ROBDDs with Prime Implicants. TACAS 2006: 105-119 |
| 1 | Andy King | [1] [2] [3] |
| 2 | Tadeusz Strzemecki | [1] |