Login / Signup

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

Emir Demirovic
Published in: IJCAI (2017)
Keyphrases