A honosítás alapjául szolgáló fokozat: Intézmény: Johannes Kepler Universität Linz, Linz, Ausztria Értekezés címe: Solving and Simplifying the propositional Satisfiability Problem by Sub-Model Propagation Fokozat dátuma: -
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).