Logic-based benders decomposition for wildfire suppression · Study