Login / Signup
SAT Model for the Curriculum-Based Course Timetabling Problem.
Nelson Rangel-Valdez
José Torres-Jiménez
Jorge Omar Jasso-Luna
Mario Humberto Rodriguez-Chavez
Published in:
Res. Comput. Sci. (2013)
Keyphrases
</>
computational model
cost function
high level
mathematical model
machine learning
bayesian networks
objective function
computational complexity
search space
special case
probabilistic model
scheduling problem