![[up]](/style/images/multi_up.png)
| [pin missing: url] | [pin missing: url] |
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)
Kovásznai, Gergely, Andreas, Fröhlich, Armin, Biere, Helmut, Veith (2016) Complexity of Fixed-Size Bit-Vector Logics Theory of Computing Systems. 59 (2). pp. 323-376. ISSN 1432-4350
Biró, Csaba, Kovásznai, Gergely, Biere, Armin, Kusper, Gábor, Geda, Gábor (2013) Cube-and-Conquer approach for SAT solving on grids Annales Mathematicae et Informaticae. 42. pp. 9-21. ISSN 1787-5021 (Print), 1787-6117 (Online)
Kovásznai, Gergely, Kiss, Dorina Hedvig, Mlinkó, Péter (2023) Formal verification for quantized neural networks Annales Mathematicae et Informaticae. 57. pp. 36-48. ISSN 1787-6117 (Online)
Kovásznai, Gergely, Kusper, Gábor (2009) Introducing general redundancy criteria for clausal tableaux, and proposing resolution tableaux Annales Mathematicae et Informaticae. 36. pp. 85-101. ISSN 1787-5021 (Print), 1787-6117 (Online)
Kovásznai, Gergely, Gajdár, Krisztián, Narodytska, Nina (2021) Portfolio solver for verifying Binarized Neural Networks Annales Mathematicae et Informaticae (53.): Selected papers of the 1st Conference on Information Technology and Data Science. pp. 183-200. ISSN 1787-6117 (Online)
Kusper, Gábor, Csőke, Lajos, Kovásznai, Gergely (2008) Simplifying the propositional satisfiability problem by sub-model propagation Annales Mathematicae et Informaticae. 35. pp. 75-94. ISSN 1787-5021 (Print), 1787-6117 (Online)
Kovács, Ádám, Gunics, Roland, Kovásznai, Gergely, Tajti, Tibor (2025) Soft voting robustness in neural network ensembles with empirical analysis and formal verification Annales Mathematicae et Informaticae. 61. pp. 171-185. ISSN 1787-6117 (Online)
Bácsó, Sándor, Gorjanc, Sonja, Gyimóthy, Tibor, Hoffmann, Miklós, Holovács, József, Juhász, Tibor, Kovács, László, Kovásznai, Gergely, Kozma, László, Liptai, Kálmán, Luca, Florian, Mastroianni, Giuseppe, Mátyás, Ferenc, Pintér, Ákos, Rontó, Miklós, Szalay, László, Sztrik, János, Walsh, Gary (2020) Annales Mathematicae et Informaticae (51.) : Selected papers of the 11th International Conference on Applied Informatics. Eger, Eszterházy Károly University - Institute of Mathematics and Informatics.
Bácsó, Sándor, Gorjanc, Sonja, Gyimóthy, Tibor, Hoffmann, Miklós, Holovács, József, Juhász, Tibor, Kovács, László, Kovásznai, Gergely, Kozma, László, Liptai, Kálmán, Luca, Florian, Mastroianni, Giuseppe, Mátyás, Ferenc, Pintér, Ákos, Rontó, Miklós, Szalay, László, Sztrik, János, Walsh, Gary (2020) Annales Mathematicae et Informaticae (52.) Eger, Eszterházy Károly Egyetem Líceum Kiadó.
Bíró, Csaba, Kovásznai, Gergely, Kusper, Gábor, Tajti, Tibor (2023) Annales Mathematicae et Informaticae (57.) : Selected papers of the 2nd Formal Methods in Informatics online workshop. Eger, Eszterházy Károly Katolikus Egyetem Líceum Kiadó.
Hu, Ming, Kovásznai, Gergely (2025) Web-based facial expression recognition using hybrid deep learning In: Proceedings of the International Conference on Formal Methods and Foundations of Artificial Intelligence. Eger, Eszterházy Károly Catholic University. pp. 102-114.
