@book{bittner2019sat,
  title = {{SAT} Encodings of the At-Most-k Constraint: A Case Study on Configuring University Courses},
  author = {Bittner, Paul Maximilian and Th{\"u}m, Thomas and Schaefer, Ina},
  isbn = {978-3-030-30446-1},
  doi = {10.1007/978-3-030-30446-1\_7},
  publisher = {Springer International Publishing, Cham},
  address = {Cham},
  pages = {127--144},
  month = {Sep},
  year = {2019}
}