An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources.

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Browse the full CP paper archive.