Parameterised bounds on the sum of variables in time-series constraints

dc.contributor.authorBeldiceanu, Nicolas
dc.contributor.authorRestrepo, Maria I.
dc.contributor.authorSimonis, Helmut
dc.contributor.funderScience Foundation Irelanden
dc.contributor.funderEuropean Regional Development Funden
dc.contributor.funderFondation de l'École Polytechniquefr
dc.date.accessioned2020-11-03T09:55:05Z
dc.date.available2020-11-03T09:55:05Z
dc.date.issued2020-09-19
dc.description.abstractFor two families of time-series constraints with the aggregator Sum and features one and width, we provide parameterised sharp lower and upper bounds on the sum of the time-series variables wrt these families of constraints. This is important in many applications, as this sum represents the cost, for example the energy used, or the manpower effort expended. We use these bounds not only to gain a priori knowledge of the overall cost of a problem, we can also use them on increasing prefixes and suffixes of the variables to avoid infeasible partial assignments under a given cost budget. Experiments show that the bounds drastically reduce the effort to find cost limited solutions.en
dc.description.sponsorshipScience Foundation Ireland and European Regional Development Fund (Grant number 12/RC/2289-P2); Fondation de l'École Polytechnique (Gaspard-Monge program)en
dc.description.statusPeer revieweden
dc.description.versionAccepted Versionen
dc.format.mimetypeapplication/pdfen
dc.identifier.citationBeldiceanu, N., Restrepo, M. I. and Simonis, H. (2020) 'Parameterised bounds on the sum of variables in time-series constraints', in Hebrard, E. and Musliu, N. (eds.) Integration of Constraint Programming, Artificial Intelligence, and Operations Research. CPAIOR 2020. Lecture Notes in Computer Science, Vol. 12296. Springer, Cham, pp. 82-98. doi: 10.1007/978-3-030-58942-4_6en
dc.identifier.doi10.1007/978-3-030-58942-4_6en
dc.identifier.endpage98en
dc.identifier.isbn978-3-030-58941-7
dc.identifier.isbn978-3-030-58942-4
dc.identifier.journaltitleLecture Notes in Computer Scienceen
dc.identifier.startpage82en
dc.identifier.urihttps://hdl.handle.net/10468/10693
dc.identifier.volume12296en
dc.language.isoenen
dc.publisherSpringer Nature Switzerland AGen
dc.relation.ispartofCPAIOR 2020 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
dc.relation.urihttps://cpaior2020.dbai.tuwien.ac.at/
dc.rights© 2020, Springer Nature Switzerland AG. This is a post-peer-review, pre-copyedit version of an article published in Lecture Notes in Computer Science. The final authenticated version is available online at: https://doi.org/10.1007/978-3-030-58942-4_6en
dc.subjectTime-series constraintsen
dc.subjectCosten
dc.subjectCost limited solutionsen
dc.titleParameterised bounds on the sum of variables in time-series constraintsen
dc.typeConference itemen
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
paper.pdf
Size:
486.72 KB
Format:
Adobe Portable Document Format
Description:
Accepted Version
License bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
2.71 KB
Format:
Item-specific license agreed upon to submission
Description: