A branch-and-cut-based heuristic for harvest scheduling with clearcut size constraints in long-term planning: a case study - Martins, Isabel; Marques, Susete; Marques, Marlene; Marto, Marco (Opsearch, 2025)