Disjunctive programming (2018)