Beyersdorff, O.; Chew, L.; Mahajan, M.; Shukla, A.
(2018-12-28)
We study the cutting planes systemCP+∀redfor quantified Boolean formulas (QBF), obtained by augmenting propositionalCutting Planeswith a universal reduction rule, and analyse the proof-theoretic strength of this new calculus. ...