New Bounds for the Ideal Proof System in Positive Characteristic.

Amik Raj Behera, Nutan Limaye, Varun Ramanathan, Srikanth Srinivasan

Browse the full ICALP paper archive.