Fair team formation for STEAM education using exact and heuristic constraint-based solvers
  • Metaadatok
Tartalom: http://publikacio.uni-eszterhazy.hu/9290/
Archívum: Eszterházy Károly Katolikus Egyetem Publikáció
Gyűjtemény: Típus = Folyóiratcikk - Journal article
Cím:
Fair team formation for STEAM education using exact and heuristic constraint-based solvers
Létrehozó:
Ali, Ali Adil
Kovásznai, Gergely
Herbák, Marcell
Khalid, Mustafa
Tartalmi leírás:
STEAM (Science, Technology, Engineering, Arts, and Mathematics) education promotes interdisciplinary learning through collaboration and project-based activities. Constructing fair and balanced student teams under different limitations, due to their skills, gender, and academic training, is a difficult combinatorial issue. In this paper, we model the team formation task as a constraint satisfaction problem and provide a comparative analysis of the Z3 SMT solver, OR-Tools’ CP-SAT constraint programming solver, and the heuristic Genetic Algorithm. We carry out experiments on synthetic datasets of varying sizes (50, 100, and 500 students) under identical constraints and evaluation criteria. Findings reveal an obvious trade-off between fairness and computational efficiency. Specifically, the two exact methods (Z3 and CP-SAT) both produce more balanced teams with lower gaps in fairness consistently, as compared to the Genetic Algorithm, which has great variability in solution quality. Based on performance, Z3 has the fastest solving time; however, its overall execution time increases dramatically for larger datasets. CP-SAT, on the other hand, tends to achieve more stable and scalable results across datasets of different sizes. These results aid in establishing a practical framework that supports the selection and implementation of the most effective strategies for creating educational teams.
Nyelv:
angol
angol
Típus:
Folyóiratcikk - Journal article
NonPeerReviewed
Formátum:
text
Azonosító:
Ali, Ali Adil, Kovásznai, Gergely, Herbák, Marcell, Khalid, Mustafa (2026) Fair team formation for STEAM education using exact and heuristic constraint-based solvers Annales Mathematicae et Informaticae. 63. pp. 1-17.
Kapcsolat: