Solving the Multi-Mode Resource-Constrained Project Scheduling Problem with SMT.

Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret

Browse the full ICTAI paper archive.