brot
There are 0 repository under brot topic.
SoftVarE-Group / BroT
Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
Language:HTML 4
There are 0 repository under brot topic.
SoftVarE-Group / BroTSource Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'