A comparison of integer and constraint programming models for the deficiency problem. (April 2016)