SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses.

Paul Maximilian Bittner Thomas Thüm Ina Schaefer

Published in: SEFM (2019)

Keyphrases

university courses
sat encodings
linear arithmetic constraints
university level
writing skills
case study
linear programming
sat solvers
graph coloring
genetic algorithm
e learning
global constraints
linear constraints