SAT-Based Approaches for the General High School Timetabling Problem (2017) [pdf]

(dbai.tuwien.ac.at)

4 points | by tosh 6 hours ago ago

No comments yet.