Time table edge finding with energy variables

Moli Yang; Andreas Schutt; Peter J. Stuckey

doi:10.1007/978-3-030-19212-9_42

Time table edge finding with energy variables

Moli Yang, Andreas Schutt, Peter J. Stuckey

Department of Data Science & AI

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

1 Citation (Scopus)

Abstract

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.

Original language	English
Title of host publication	Integration of Constraint Programming, Artificial Intelligence, and Operations Research
Subtitle of host publication	16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings
Editors	Louis-Martin Rousseau, Kostas Stergiou
Place of Publication	Cham Switzerland
Publisher	Springer
Pages	633-642
Number of pages	10
ISBN (Electronic)	9783030192129
ISBN (Print)	9783030192112
DOIs	https://doi.org/10.1007/978-3-030-19212-9_42
Publication status	Published - 2019
Event	International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2019 - Thessaloniki, Greece Duration: 4 Jun 2019 → 7 Jun 2019 Conference number: 16th https://cpaior2019.uowm.gr/ (Conference website) https://link.springer.com/book/10.1007/978-3-030-19212-9 (Proceedings)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	11494
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2019
Abbreviated title	CPAIOR 2019
Country/Territory	Greece
City	Thessaloniki
Period	4/06/19 → 7/06/19
Internet address	https://cpaior2019.uowm.gr/ (Conference website) https://link.springer.com/book/10.1007/978-3-030-19212-9 (Proceedings)

Access to Document

10.1007/978-3-030-19212-9_42

Cite this

Yang, M., Schutt, A., & Stuckey, P. J. (2019). Time table edge finding with energy variables. In L.-M. Rousseau, & K. Stergiou (Eds.), Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings (pp. 633-642). (Lecture Notes in Computer Science ; Vol. 11494). Springer. https://doi.org/10.1007/978-3-030-19212-9_42

Yang, Moli ; Schutt, Andreas ; Stuckey, Peter J. / Time table edge finding with energy variables. Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. editor / Louis-Martin Rousseau ; Kostas Stergiou. Cham Switzerland : Springer, 2019. pp. 633-642 (Lecture Notes in Computer Science ).

@inproceedings{a06cfa80887545efa372208fe8823037,

title = "Time table edge finding with energy variables",

abstract = "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.",

author = "Moli Yang and Andreas Schutt and Stuckey, {Peter J.}",

year = "2019",

doi = "10.1007/978-3-030-19212-9_42",

language = "English",

isbn = "9783030192112",

series = "Lecture Notes in Computer Science ",

publisher = "Springer",

pages = "633--642",

editor = "Louis-Martin Rousseau and Kostas Stergiou",

booktitle = "Integration of Constraint Programming, Artificial Intelligence, and Operations Research",

note = "International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2019<br/>, CPAIOR 2019 ; Conference date: 04-06-2019 Through 07-06-2019",

url = "https://cpaior2019.uowm.gr/, https://link.springer.com/book/10.1007/978-3-030-19212-9",

}

Yang, M, Schutt, A & Stuckey, PJ 2019, Time table edge finding with energy variables. in L-M Rousseau & K Stergiou (eds), Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Lecture Notes in Computer Science , vol. 11494, Springer, Cham Switzerland, pp. 633-642, International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2019
, Thessaloniki, Greece, 4/06/19. https://doi.org/10.1007/978-3-030-19212-9_42

Time table edge finding with energy variables. / Yang, Moli; Schutt, Andreas; Stuckey, Peter J.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. ed. / Louis-Martin Rousseau; Kostas Stergiou. Cham Switzerland: Springer, 2019. p. 633-642 (Lecture Notes in Computer Science ; Vol. 11494).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Time table edge finding with energy variables

AU - Yang, Moli

AU - Schutt, Andreas

AU - Stuckey, Peter J.

N1 - Conference code: 16th

PY - 2019

Y1 - 2019

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85066859197&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-19212-9_42

DO - 10.1007/978-3-030-19212-9_42

M3 - Conference Paper

AN - SCOPUS:85066859197

SN - 9783030192112

T3 - Lecture Notes in Computer Science

SP - 633

EP - 642

BT - Integration of Constraint Programming, Artificial Intelligence, and Operations Research

A2 - Rousseau, Louis-Martin

A2 - Stergiou, Kostas

PB - Springer

CY - Cham Switzerland

T2 - International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 2019<br/>

Y2 - 4 June 2019 through 7 June 2019

ER -

Yang M, Schutt A, Stuckey PJ. Time table edge finding with energy variables. In Rousseau LM, Stergiou K, editors, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019 Thessaloniki, Greece, June 4–7, 2019 Proceedings. Cham Switzerland: Springer. 2019. p. 633-642. (Lecture Notes in Computer Science ). doi: 10.1007/978-3-030-19212-9_42

Time table edge finding with energy variables

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this