Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems

Stefan Kreter, Andreas Schutt, Peter J. Stuckey, Jürgen Zimmermann