The Complexity of Resolution Refinements.

Josh Buresh-Oppenheim, Toniann Pitassi

Browse the full LICS paper archive.