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

Show simple item record

dc.contributor.author Beldiceanu, Nicolas
dc.contributor.author Restrepo, Maria I.
dc.contributor.author Simonis, Helmut
dc.date.accessioned 2020-11-03T09:55:05Z
dc.date.available 2020-11-03T09:55:05Z
dc.date.issued 2020-09-19
dc.identifier.citation Beldiceanu, 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_6 en
dc.identifier.volume 12296 en
dc.identifier.startpage 82 en
dc.identifier.endpage 98 en
dc.identifier.isbn 978-3-030-58941-7
dc.identifier.isbn 978-3-030-58942-4
dc.identifier.uri http://hdl.handle.net/10468/10693
dc.identifier.doi 10.1007/978-3-030-58942-4_6 en
dc.description.abstract For 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.sponsorship Science Foundation Ireland and European Regional Development Fund (Grant number 12/RC/2289-P2); Fondation de l'École Polytechnique (Gaspard-Monge program) en
dc.format.mimetype application/pdf en
dc.language.iso en en
dc.publisher Springer Nature Switzerland AG en
dc.relation.ispartof CPAIOR 2020 17th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
dc.relation.uri https://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_6 en
dc.subject Time-series constraints en
dc.subject Cost en
dc.subject Cost limited solutions en
dc.title Parameterised bounds on the sum of variables in time-series constraints en
dc.type Conference item en
dc.internal.authorcontactother Helmut Simonis, Insight Centre for Data Analytics, University College Cork, Cork, Ireland. T: +353-21-490-3000 E: helmut.simonis@insight-centre.org en
dc.internal.availability Full text available en
dc.description.version Accepted Version en
dc.contributor.funder Science Foundation Ireland en
dc.contributor.funder European Regional Development Fund en
dc.contributor.funder Fondation de l'École Polytechnique fr
dc.description.status Peer reviewed en
dc.identifier.journaltitle Lecture Notes in Computer Science en
dc.internal.conferencelocation Online en
dc.internal.IRISemailaddress helmut.simonis@insight-centre.org en


Files in this item

This item appears in the following Collection(s)

Show simple item record

This website uses cookies. By using this website, you consent to the use of cookies in accordance with the UCC Privacy and Cookies Statement. For more information about cookies and how you can disable them, visit our Privacy and Cookies statement