Fair team formation for STEAM education using exact and heuristic constraint-based solvers

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.

pdf 1_17.pdf Download (586kB) [error in script]

Absztrakt (kivonat)

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.

Mű típusa:	Folyóiratcikk - Journal article
Szerző:	Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Ali, Ali Adil NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Kovásznai, Gergely NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Herbák, Marcell NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Khalid, Mustafa NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző
Kapcsolódó URL-ek:	Befoglaló kötet
Kulcsszavak:	team formation, STEAM education, constraint satisfaction, Satisfiability Modulo Theories (SMT), OR-Tools, CP-SAT, Genetic Algorithm, fairness optimization
Nyelv:	angol
Kötetszám:	63.
DOI azonosító:	10.33039/ami.2026.06.001
Felhasználó:	Tibor Gál
Dátum:	20 Júl 2026 07:03
Utolsó módosítás:	20 Júl 2026 07:03
URI:	http://publikacio.uni-eszterhazy.hu/id/eprint/9290

Műveletek (bejelentkezés szükséges)

Tétel nézet