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)