A comparison of integer and constraint programming models for the deficiency problem - Altinakar, Sivan; Caporossi, Gilles; Hertz, Alain (Computers & Operations Research, 2016)