• Algorithms for Circuits and Circuits for Algorithms 

      Williams, Ryan (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 ...