horizon mixed integer programming models

w