Constraint propagation + Ant Colony Optimization for automated school timetabling | IEEE Conference Publication | IEEE Xplore