Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logic-based Benders decomposition for large-scale optimization   Logic-based Benders decomposition (LBBD) is a substantial generalization of
classical Benders decomposition that, in principle, allows the subproblem to be
any optimization problem rather than specifically a linear or nonlinear
programming problem. It is amenable to a wide variety large-scale problems that
decouple or otherwise simplify when certain decision variables are fixed. This
chapter presents the basic theory of LBBD and explains how classical Benders
decomposition is a special case. It also describes branch and check, a variant
of LBBD that solves the master problem only once. It illustrates in detail how
Benders cuts and subproblem relaxations can be developed for some planning and
scheduling problems. It then describes the role of LBBD in three large-scale
case studies. The chapter concludes with an extensive survey of the LBBD
literature, organized by problem domain, to allow the reader to explore how
Benders cuts have been developed for a wide range of applications.

10
The categories of this paper are: q-bio
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
14
The categories of this paper are: math-ph
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
8
The categories of this paper are: hep-ex
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph