Computer Graphics
TU Braunschweig

Paul Maximilian Bittner
Fmr. Research Assistant


Publications BibTex


Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer:
SAT Encodings of the At-Most-k Constraint: A Case Study on Configuring University Courses
Springer International Publishing, Cham, ISBN 978-3-030-30446-1, pp. 127-144, September 2019.