A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations Everyone AI Group UNIBO Embedded System Design