Minimal Perturbation in University Timetabling with Maximum Satisfiability

Module SHIPMENT contains all relation schemes and constraints of PRODUCT and WAREHOUSE, plus a newly defined relation scheme and three new constraints. The active operations after