A logic approach to the resolution of constraints in timetabling · Study