Characterizing Propositional Proofs as Non-Commutative Formulas

Fu Li, Iddo Tzameret, Zhengyu Wang. Characterizing Propositional Proofs as Non-Commutative Formulas. Electronic Colloquium on Computational Complexity (ECCC), 22:134, 2015. [doi]

Authors

Fu Li

This author has not been identified. Look up 'Fu Li' in Google

Iddo Tzameret

This author has not been identified. Look up 'Iddo Tzameret' in Google

Zhengyu Wang

This author has not been identified. Look up 'Zhengyu Wang' in Google