KK

K. Kamenov

1 records found

Propagators for Constraint Programming Energetic Reasoning

Exploring the Effect of Explanations for Energetic Reasoning

The cumulative constraint is often used when modeling constraint programming problems, frequently seen in scheduling and planning problems. Energetic reasoning is one of the propagators used to enforce this constraint. However, not much has been done to explore strategies for gen ...