An approach using SAT solvers for the RCPSP with logical constraints - Vanhoucke, Mario (2016)
Last working version