Preencha a seguinte informação para solicitar uma cópia do ficheiro: An approach using SAT solvers for the RCPSP with logical constraints

Solicitar o seguinte ficheiro: MMRCPSP_SAT_Logical_working_version.pdf