An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources.
Miquel BofillJordi CollJosep SuyMateu VillaretPublished in: CP (2017)
Keyphrases
- resource constraints
- classes of valid inequalities
- allocate resources
- integer program
- lower and upper bounds
- upper bound
- lower bound
- constraint sets
- mixed integer program
- constraint satisfaction
- scheduling problem
- finding optimal solutions
- valid inequalities
- resource allocation
- nonlinear programming
- constraint solving
- linear constraints
- resource constrained project scheduling problem
- limited resources
- global constraints
- constraint programming