related documents Circuit Complexity, Proof Complexity and Polynomial Identity Testing Conference Proceeding