Now showing items 1-1 of 1
Algorithms for Circuits and Circuits for Algorithms
(Georgia Institute of Technology, 2011-11-11)
Connections have been recently developed between the existence of non-trivial circuitanalysis algorithms and proofs of circuit size lower bounds. Algorithms that can check whether a given circuit from some class satisfies ...