Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling.
Paola CappaneraMarco GavanelliMaddalena NonatoMarco RomaPublished in: CoRR (2023)
Keyphrases
- answer set programming
- benders decomposition
- logic programs
- logic programming
- network design problem
- knowledge representation
- mixed integer
- answer sets
- exact algorithms
- scheduling problem
- network design
- nonlinear programming
- answer set programs
- mixed integer programming
- knapsack problem
- production planning
- expert systems
- declarative programming