Frank Plastria: Formulating logical implications in combinatorial optimisation. Eur. J. Oper. Res. 140(2): 338-353 (2002)