Human-centred feasibility restoration in practice

DOI10.1007/S10601-023-09344-5MaRDI QIDQ6049434zbMATH OpenFDO

Authors Ilankaikone Senthooran, Matthias Klapperstueck, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia De La Banda

Publication date 15 September 2023

Published in Constraints (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10601-023-09344-5

zbMATH Keywords

combinatorial optimisationconflict resolutionexplainable AIfeasibility restorationhuman-centredmodellingsoft constraints

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Applications of mathematical programming (90C90)

Recommendations

• Feasibility and infeasibility in optimization. Algorithms and computational methods.
• A fuzzy method to repair infeasibility in linearly constrained problems
• scientific article; zbMATH DE number 1163815
• scientific article; zbMATH DE number 2089822
• K-best feasible clusters - ranking optimal solutions from an infeasible LP

Cites work

• Algorithms for computing minimal unsatisfiable subsets of constraints
• Analyzing Infeasible Mixed-Integer and Integer Linear Programs
• Debugging unsatisfiable constraint models
• Enumerating infeasibility: finding multiple MUSes quickly
• Extending the notion of preferred explanations for quantified constraint satisfaction problems
• Feasibility and infeasibility in optimization. Algorithms and computational methods.
• scientific article; zbMATH DE number 2084723 (Why is no real title available?)
• Identifying Minimally Infeasible Subsystems of Inequalities
• Infeasibility resolution based on goal programming
• Irreducibly inconsistent systems of linear inequalities
• JuMP: a modeling language for mathematical optimization
• MiniBrass: soft constraints for MiniZinc
• On computing preferred MUSes and MCSes
• On global warming: Flow-based soft global constraints
• The maximum feasible subset problem (maxFS) and applications

Cited in

(2)

• Cost-minimal parameter correction subsets for unsatisfiable constraint problems
• Explainability results for the rotating workforce scheduling problem

This page was built for publication: Human-centred feasibility restoration in practice

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