Tomas Bengtsson Andrés Martinelli Elena Dubrova A Fast Heuristic Algorithm for Disjunctive. 51-56 2002 IWLS db/conf/iwls/iwls2002.html#BengtssonMD02