TY - RPRT TI - Logic-based Benders decomposition for large-scale optimization AU - J. N. Hooker PY - 2019 UR - https://arxiv.org/abs/1910.11944 ID - 1910.11944 ER -