Proof Complexity Meets Algebra.

Albert Atserias, Joanna Ochremiak

Browse the full ICALP paper archive.