Details

Autor(en) / Beteiligte

• Yang, Moli
• Schutt, Andreas
• Stuckey, Peter J.
• Stergiou, Kostas
• Rousseau, Louis-Martin

Titel

Time Table Edge Finding with Energy Variables

Ist Teil von

• Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019, Vol.11494, p.633-642

Ort / Verlag

Switzerland: Springer International Publishing AG

Erscheinungsjahr

2019

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• Cumulative resource constraints can model scarce resources in scheduling problems or a dimension in packing and cutting problems. In order to efficiently solve such problems with a constraint programming solver, it is important to have strong and fast propagators for cumulative resource constraints. In this paper, we develop a time-table edge-finding energy propagator for cumulative constraint which can reason more strongly based on energy. We give results using this propagator in a lazy clause generation system on rectangle packing and evacuation scheduling problems. We are able to prune the search space and reduce solve time compared with a time-table or time-table edge-finding propagator.