Exponential separations between restricted resolution and cutting planes proof systems | IEEE Conference Publication | IEEE Xplore