Essays on Logic-Based Benders Decomposition, Portfolio Optimization, and Fair Allocation of Resources