Modelling constraints in school timetabling using integer linear programming.

Samir Ribic Razija Turcinhodzic Amela Muratovic-Ribic

Published in: ICAT (2015)

Keyphrases

integer linear programming
global constraints
constraint programming
pseudo boolean
linear inequalities
column generation
combinatorial problems
symmetry breaking
bicriteria
constraint satisfaction
hard and soft constraints
boolean satisfiability
integer programming
mixed integer
boolean optimization