SAT-Based approaches for the general high school timetabling problem / von Emir Demirović. Wien, 2017
Inhalt