Human-centred feasibility restoration in practice
From MaRDI portal
Publication:6049434
DOI10.1007/S10601-023-09344-5MaRDI QIDQ6049434
Kevin Leo, Matthias Klapperstueck, Mark 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)
modellingcombinatorial optimisationconflict resolutionsoft constraintsfeasibility restorationexplainable AIhuman-centred
Cites Work
- Title not available (Why is that?)
- JuMP: A Modeling Language for Mathematical Optimization
- MiniBrass: soft constraints for MiniZinc
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Irreducibly inconsistent systems of linear inequalities
- On Computing Preferred MUSes and MCSes
- Identifying Minimally Infeasible Subsystems of Inequalities
- Enumerating Infeasibility: Finding Multiple MUSes Quickly
- The maximum feasible subset problem (maxFS) and applications
- Feasibility and infeasibility in optimization. Algorithms and computational methods.
- On global warming: Flow-based soft global constraints
- Analyzing Infeasible Mixed-Integer and Integer Linear Programs
- Infeasibility resolution based on goal programming
- Debugging unsatisfiable constraint models
- Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems
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)
