-
Mixed integer and constraint programming models
2.2 Constraint Programming model
Constraint Programming (CP) is a potent methodology widely employed for solving scheduling problems in academic and industrial literature. CP Optimizer [19], being an optimization commercial solver rooted in CP, incorporates specialized concepts of constraints and variables, significantly facilitating the modeling process for scheduling problems. In this section, we introduce a CP model specifically designed for its utilization in connection with CP Optimizer. The syntax of CP Optimizer is defined as it arises within the formulation. The model follows below.
Authors:
(1) K. A. G. Araujo, Department of Applied Mathematics, Institute of Mathematics and Statistics, University of Sao Paulo, Rua do Matao, 1010, Cidade Universitaria, 05508-090, Sao Paulo, SP, Brazil ([email protected]);
(2) E. G. Birgin, Department of Computer Science, Institute of Mathematics and Statistics, University of Sao Paulo, Rua do Matao, 1010, Cidade Universitaria, 05508-090, Sao Paulo, SP, Brazil ([email protected]);
(3) D. P. Ronconi, Department of Production Engineering, Polytechnic School, University of Sao Paulo, Av. Prof. Luciano Gualberto, 1380, Cidade Universitaria, 05508-010 Sao Paulo, SP, Brazil ([email protected]).
This paper is