Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling

Paola Cappanera, Marco Gavanelli, Maddalena Nonato +1

In Answer Set Programming (ASP), the user can define declaratively a problem and solve it with efficient solvers; practical applications of ASP are countless and several constraint…