Browse by Person (creator, editor, contributor, etc.)

Article

Kettle, N. and King, A.M. (2008) Bit-Precise Reasoning with Affine Functions. Electronic Notes in Theoretical Computer Science . ISSN 1571-0661.

Preview

Kettle, N. and King, A. (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.

Preview

Book section

Kettle, N. and King, A.M. and Strzemecki, T. (2006) Widening ROBDDs with Prime Implicants. In: Hermanns, H. and Palsberg, J., eds. Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, 3920 . Springer-Verlag, Berlin, pp. 105-119. ISBN 978-3-540-33056-1.

Preview

Monograph

Kettle, N. and King, A.M. (2006) Proof of New Decompositional Results for Generalized Symmetries. Technical report. UKC, University of Kent, Canterbury, Kent, CT2 7NF

Preview

Kettle, N. and King, A.M. (2006) Proof of New Implicational Relationships between Generalized Symmetries. Technical report. Kent University, University of Kent, Canterbury, Kent, CT2 7NF

Preview

Conference or workshop item

Kettle, N. and King, A.M. (2006) An Anytime Symmetry Detection Algorithm for ROBDDs. In: Onodera, H., ed. Asia and South Pacific Design Automation Conference. IEEE pp. 243-248. ISBN 0-7803-9451-8 .

Preview

Thesis

Kettle, N. (2008) Anytime Algorithms for ROBDD Symmetry Detection and Approximation. PhD thesis, Computing Laboratory.

Preview