How Exhaustive Does an Extension-Based Proof Need to Be?

Faith Ellen, Shihao Liu, Leqi Zhu, Eli Gafni, Rati Gelashvili

Browse the full OPODIS paper archive.