Castro, Margarita P.; Cire, Andre A.; Beck, J. Christopher Decision diagrams for discrete optimization: a survey of recent advances. (English) Zbl 07587569 INFORMS J. Comput. 34, No. 4, 2271-2295 (2022). MSC: 90Cxx PDFBibTeX XMLCite \textit{M. P. Castro} et al., INFORMS J. Comput. 34, No. 4, 2271--2295 (2022; Zbl 07587569) Full Text: DOI arXiv
Hooker, John N. Logic-based Benders decomposition for large-scale optimization. (English) Zbl 1446.90108 Velásquez-Bermúdez, Jesús M. (ed.) et al., Large scale optimization in supply chains and smart manufacturing. Theory and applications. Cham: Springer. Springer Optim. Appl. 149, 1-26 (2019). MSC: 90C06 90B80 90B35 PDFBibTeX XMLCite \textit{J. N. Hooker}, Springer Optim. Appl. 149, 1--26 (2019; Zbl 1446.90108) Full Text: DOI arXiv
Howe, Jacob M.; King, Andy; Simon, Axel Incremental closure for systems of two variables per inequality. (English) Zbl 1417.68103 Theor. Comput. Sci. 768, 1-42 (2019). MSC: 68Q60 68N30 68Q55 68W40 90C05 PDFBibTeX XMLCite \textit{J. M. Howe} et al., Theor. Comput. Sci. 768, 1--42 (2019; Zbl 1417.68103) Full Text: DOI