A satisfiability and workload-based exact method for the resource constrained project scheduling problem with generalized precedence constraints. - Guilherme Henrique Ismael de Azevedo; Artur Alves Pessoa; Anand Subramanian 001 (Eur. J. Oper. Res., 2021)