Article,

Circuit Complexity, Proof Complexity, and Polynomial Identity Testing: The Ideal Proof System.

, and .
J. ACM, 65 (6): 37:1-37:59 (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews