Strengthening of feasibility cuts in logic-based benders decomposition

DOI10.1007/978-3-030-78230-6_3MaRDI QIDQ2117199zbMATH OpenOpenAlexFDO

Authors Emil Karlsson, Elina Rönnberg

Publication date 21 March 2022

Full work available at URL https://doi.org/10.1007/978-3-030-78230-6_3

zbMATH Keywords

logic-based benders decompositioncut strengtheningfeasibility cutsirreducible infeasible subset of constraints

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27)

Cites work

• scientific article; zbMATH DE number 1550909 (Why is no real title available?)
• A branch-and-price-and-check model for the vehicle routing problem with location congestion
• A matheuristic approach to large-scale avionic scheduling
• An optimisation approach for pre-runtime scheduling of tasks and communication in an integrated modular avionic system
• Generalized Benders decomposition
• Generalized filtering algorithms for infeasibility analysis
• Locating Minimal Infeasible Constraint Sets in Linear Programs
• Logic-based Benders decomposition
• Logic-based Benders decomposition for large-scale optimization
• Multi-stage Benders Decomposition for Optimizing Multicore Architectures
• Nutmeg: a MIP and CP hybrid solver using branch-and-check
• Partitioning procedures for solving mixed-variables programming problems
• Planning and Scheduling by Logic-Based Benders Decomposition
• Principles and Practice of Constraint Programming – CP 2004
• Single-facility scheduling by logic-based Benders decomposition
• The Benders decomposition algorithm: a literature review
• \(\mathrm{A}^\ast\) search for prize-collecting job sequencing with one common and multiple secondary resources

Cited in

(2)

• Computational evaluation of cut-strengthening techniques in logic-based Benders' decomposition
• Logic-based Benders decomposition with a partial assignment acceleration technique for avionics scheduling

Describes a project that uses

Uses Software

• QUICKXPLAIN

This page was built for publication: Strengthening of feasibility cuts in logic-based benders decomposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117199)