The paper "Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction" by Krishnendu Chatterjee, Wolfgang Dvo?ák, Monika Henzinger, and Veronika Loitzenbauer has been accepted to LICS 2016.
The paper "Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction" by Krishnendu Chatterjee, Wolfgang Dvo?ák, Monika Henzinger, and Veronika Loitzenbauer has been accepted to LICS 2016.