3 ms·SAT-Based Approaches for the General High School Timetabling Problem (2017) [pdf]4 points by tosh 5mo ago