Some results on circuit depth
An important problem in theoretical computer science is to develop methods for estimating the complexity of finite functions. For many familiar functions there remain important gaps between the best known lower and upper bound we investigate the inherent complexity of Boolean functional taking circu...
Main Author: | McColl, William Finlay |
---|---|
Published: |
University of Warwick
1976
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.463928 |
Similar Items
-
Categories for fixpoint semantics
by: Lehmann, Daniel
Published: (1976) -
Formal verification techniques using quantum process calculus
by: Davidson, Timothy A. S.
Published: (2012) -
Approximation algorithms for geometric, caching and scheduling problems
by: Adamaszek, Anna
Published: (2012) -
Performance engineering unstructured mesh, geometric multigrid codes
by: Bunt, Richard A.
Published: (2016) -
Competative optimisation on timed automata
by: Trivedi, Ashutosh
Published: (2009)