TY  - RPRT
TI  - Algebraic Proof Complexity: Progress, Frontiers and Challenges
AU  - Tonnian Pitassi
AU  - Iddo Tzameret
PY  - 2016
UR  - https://arxiv.org/abs/1607.00443
ID  - 1607.00443
ER  -