Cinzia Marte

Optimality-preserving Logic-Based Benders Decomposition of Answer Set Programs

Bender Decomposition is a well-known solving technique in Operation Research that decomposes a problem into a master and a subproblem, which interact via “cuts". This technique has been extended to Logic-Based Bender Decomposition (LBBD), solving problems specified by logic-based languages and enabl