QRAT Polynomially Simulates ∀ \text -Exp+Res.

Benjamin Kiesl, Martina Seidl

Browse the full SAT paper archive.