Adil, Ali Adil, Kovásznai, Gergely, Khalid, Mustafa (2025) Automated fair team formation in STEAM activities using Satisfiability Modulo Theories (SMT) Annales Mathematicae et Informaticae. 61. pp. 1-14. ISSN 1787-6117 (Online)
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.