Weighted Partial MaxSAT instances from Curriculum-based Course Timetabling examples

Here we provide Weighted Partial MaxSAT instances (in wcnf form) that corresponds to our encoding of serveral timetabling examples from Curriculum-Based Course TimeTabling . The encoding takes into account all the constraints; nevertheless, some soft are encoded as hard ones. For instance, the encoding makes hard: "Curriculum clashes, Teacher clashes, Room clashes, Hour availability, Number of lectures, Room capacity and Room stability" (this last two were originally specified as soft constraints) and Soft: "Isolated lectures and Min working days". The encoding is correct since the back-translated models were validated and reported in the Curriculum-Based Course TimeTabling Web page.

This instances were generated by The Barcelogic Team. For any further details on the encoding write to rasin at lsi dot upc dot edu