Human-centred feasibility restoration in practice
From MaRDI portal
Publication:6049434
DOI10.1007/s10601-023-09344-5MaRDI QIDQ6049434
Kevin Leo, Matthias Klapperstueck, Mark G. Wallace, Gleb Belov, Maria Garcia de la Banda, Michael Wybrow, Ilankaikone Senthooran, Tobias Czauderna
Publication date: 15 September 2023
Published in: Constraints (Search for Journal in Brave)
modellingconflict resolutioncombinatorial optimisationsoft constraintsfeasibility restorationexplainable AIhuman-centred
Cites Work
- Unnamed Item
- Irreducibly inconsistent systems of linear inequalities
- Debugging unsatisfiable constraint models
- MiniBrass: soft constraints for MiniZinc
- Infeasibility resolution based on goal programming
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Feasibility and infeasibility in optimization. Algorithms and computational methods.
- On global warming: Flow-based soft global constraints
- Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems
- On Computing Preferred MUSes and MCSes
- Identifying Minimally Infeasible Subsystems of Inequalities
- Analyzing Infeasible Mixed-Integer and Integer Linear Programs
- Enumerating Infeasibility: Finding Multiple MUSes Quickly
- JuMP: A Modeling Language for Mathematical Optimization
- The maximum feasible subset problem (maxFS) and applications
