Alexander Bockmayr Nicolai Pisaruk Detecting infeasibility and generating cuts for mixed integer programming using constraint programming. 2777-2786 2006 33 Computers & OR 10 http://dx.doi.org/10.1016/j.cor.2005.01.010 db/journals/cor/cor33.html#BockmayrP06