TY  - RPRT
TI  - Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction
AU  - Krishnendu Chatterjee
AU  - Wolfgang Dvořák
AU  - Monika Henzinger
AU  - Veronika Loitzenbauer
PY  - 2016
UR  - https://arxiv.org/abs/1602.02670
ID  - 1602.02670
ER  -