Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction.

Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer

Browse the full LICS paper archive.