I'm working since few weeks now on a project really interesting but unfortunately with a very complex background.
I already asked 3 questions :
- Class Scheduling to Boolean satisfiability [Polynomial-time reduction] Final Part (here)
- Class Scheduling to Boolean satisfiability [Polynomial-time reduction] part 2
- Class Scheduling to Boolean satisfiability [Polynomial-time reduction]
in both of them, I get my answer (thank you again @Amit) but now arrived the final part, who will make this project useable :)
I for now can manage :
- N time-intervals.
- C courses.
- T teachers.
- S rooms.
My constraints are the follow:
- 2 teachers cannot be in the same room in the same time.
- 2 courses cannot be in the same room in the same time.
- Teachers can teach only specific courses.
- Some courses can happen only on specific time-intervals.
So this is for now, my result :
But here comes the final part that I want to add : I want to manage group of students, with the following constraints :
- A group has only some courses to do.
- 2+ groups can be in the same room in the same time only for specific courses (like Magistral course for example)
Again, I success to isolate the constraint, but I have no idea on how to transform this constraint into a "time-intervals should not overlap" constraint.
Thanks in advance, Best regards,