DOI,IST REx ID,Research Group,Title of publication
10.1145/2933575.2935304,1140,KrCh,Model and objective separation with conditional lower bounds: disjunction is harder than conjunction