Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 6.
Article
| Kettle, Neil and King, Andy (2008) An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 27 (4). pp. 764-777. ISSN 0278-0070. (doi:https://doi.org/10.1109/TCAD.2008.917592) (Full text available) |
|
Book section
| Kettle, Neil and King, Andy (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. Asia and South Pacific Design Automation Conference. IEEE Press, pp. 243-248. ISBN 0-7803-9451-8. (doi:https://doi.org/10.1145/1118299.1118364) (Full text available) |
|
| Kettle, Neil and King, Andy and Strzemecki, Tadeusz (2006) Widening ROBDDs with Prime Implicants: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings. In: Hermanns, Holger and Palsberg, Jens, eds. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, 3920 . Springer, pp. 105-119. ISBN 978-3-540-33056-1. (doi:https://doi.org/10.1007/11691372_7) (Full text available) |
|
Thesis
| Kettle, Neil (2008) Anytime Algorithms for ROBDD Symmetry Detection and Approximation. Doctor of Philosophy (PhD) thesis, Computing Laboratory. (Full text available) |
|
Research report (external)
| Kettle, Neil and King, Andy (2006) Proof of New Decompositional Results for Generalized Symmetries (appendix for journal paper). University of Kent, School of Computing, University of Kent, Canterbury, Kent, CT2 7NF, 10 pp. (Full text available) |
|
| Kettle, Neil and King, Andy (2006) Proof of New Implicational Relationships between Generalized Symmetries (appendix for journal paper). University of Kent, School of Computing, University of Kent, Canterbury, Kent, CT2 7NF, 11 pp. (Full text available) |
|
