Finding Bugs in Short Proofs: The Metamathematics of Resolution Lower Bounds.

Jiawei Li, Yuhao Li, Hanlin Ren

Browse the full STOC paper archive.