A MaxSAT-Based Approach to the Team Composition Problem in a Classroom | Publicación