liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Strengthening of feasibility cuts in logic-based Benders decomposition
Linköping University, Faculty of Science & Engineering. Linköping University, Department of Mathematics, Applied Mathematics. Saab AB, Linköping, Sweden.ORCID iD: 0000-0002-9498-1924
Linköping University, Department of Mathematics, Applied Mathematics. Linköping University, Faculty of Science & Engineering.ORCID iD: 0000-0002-2081-2888
2021 (English)In: INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH / [ed] Peter J. Stuckey, Springer, 2021, Vol. 12735, p. 45-61Conference paper, Published paper (Refereed)
Abstract [en]

As for any decomposition method, the computational performance of a logic-based Benders decomposition (LBBD) scheme relies on the quality of the feedback information. Therefore, an important acceleration technique in LBBD is to strengthen feasibility cuts by reducing their sizes. This is typically done by solving additional subproblems to evaluate potential cuts. In this paper, we study three cut-strengthening algorithms that differ in the computational efforts made to find stronger cuts and in the guarantees with respect to the strengths of the cuts. We give a unified description of these algorithms and present a computational evaluation of their impact on the efficiency of a LBBD scheme. This evaluation is made for three different problem formulations, using over 2000 instances from five different applications. Our results show that it is usually beneficial to invest the time needed to obtain irreducible cuts. In particular, the use of the depth-first binary search cut-strengthening algorithm gives a good performance. Another observation is that when the subproblem can be separated into small independent problems, the impact of cut strengthening is dominated by that of the separation, which has an automatic strengthening effect.

Place, publisher, year, edition, pages
Springer, 2021. Vol. 12735, p. 45-61
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 12735
Keywords [en]
Logic-based Benders decomposition; Cut strengthening; Feasibility cuts; Irreducible infeasible subset of constraints
National Category
Computational Mathematics
Identifiers
URN: urn:nbn:se:liu:diva-185127DOI: 10.1007/978-3-030-78230-6_3ISI: 000885083100003ISBN: 9783030782290 (print)ISBN: 9783030782306 (electronic)OAI: oai:DiVA.org:liu-185127DiVA, id: diva2:1658875
Conference
18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), Vienna, AUSTRIA, jul 05-08, 2021
Note

Funding: Center for Industrial Information Technology (CENIIT) [16.05]; Research School in Interdisciplinary Mathematics at Linkoping University

Available from: 2022-05-18 Created: 2022-05-18 Last updated: 2022-12-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Karlsson, EmilRönnberg, Elina

Search in DiVA

By author/editor
Karlsson, EmilRönnberg, Elina
By organisation
Faculty of Science & EngineeringApplied Mathematics
Computational Mathematics

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 398 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf