Comparing and extending satisfiability solution methods for the resource-constrained project scheduling problem. - José Coelho; Mario Vanhoucke (Comput. Oper. Res., 2026)