@dblp

SAT-Based Approaches for the General High School Timetabling Problem.

. IJCAI, page 5175-5176. ijcai.org, (2017)

Links and resources

Tags