Login / Signup
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling.
Paola Cappanera
Marco Gavanelli
Maddalena Nonato
Marco Roma
Published in:
Theory Pract. Log. Program. (2023)
Keyphrases
</>
answer set programming
benders decomposition
logic programs
logic programming
mixed integer
knowledge representation
network design problem
answer sets
exact algorithms
answer set programs
scheduling problem
nonlinear programming
production planning
feasible solution
branch and bound
special case
genetic algorithm