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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Thesis

Kettle, N. (2008) Anytime Algorithms for ROBDD Symmetry Detection and Approximation. Doctor of Philosophy (Ph.D.) thesis, Computing Laboratory. (Full text available)
[img]
Preview

Research report (external)

Kettle, N. and King, A.M. (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)
[img]
Preview

Kettle, N. and King, A.M. (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)
[img]
Preview

This list was generated on Thu Apr 24 12:08:45 2014 BST.