Tudományterület szerző szerint "Kovásznai, Gergely"

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ó.

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)