softvare-group / brot Goto Github PK
View Code? Open in Web Editor NEWSource Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
License: GNU Lesser General Public License v3.0