Logic-Based Benders Decomposition and Binary Decision Diagram Based Approaches for Stochastic Distributed Operating Room Scheduling. - Cheng Guo 013; Merve Bodur; Dionne M. Aleman; David R. Urbach (INFORMS J. Comput., 2021)

Generation expansion planning with revenue adequacy constraints. - Cheng Guo 013; Merve Bodur; Dimitri J. Papageorgiou (Comput. Oper. Res., 2022)