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

Paul Maximilian Bittner, Thomas Thm, Ina Schaefer

Browse the full SEFM paper archive.