Hard Instances of Algorithms and Proof Systems.

Yijia Chen, Jrg Flum, Moritz Mller

Browse the full CiE paper archive.