Solving University Course Scheduling with Varied Constraints Using Integer Linear Programming.
Seyed M. BuhariJyothi ManojPublished in: CISIS (2023)
Keyphrases
- integer linear programming
- pseudo boolean
- boolean optimization
- global constraints
- linear inequalities
- column generation
- bicriteria
- combinatorial problems
- symmetry breaking
- integer program
- sat encodings
- boolean satisfiability
- constraint programming
- cutting plane
- timetabling problem
- exact solution
- propositional satisfiability
- resource constraints
- mixed integer
- scheduling problem
- constrained optimization
- combinatorial optimization
- constraint satisfaction
- linear programming