Get started
Author

Gergely Kovásznai

Observed names: G. Kovasznai, Gergely Kovasznai, Kovasznai, Gergely, Kovásznai, Gergely
ORCID: 0000-0001-8455-0218
Observed ORCID: 0000-0001-8455-0218
OpenAlex ID: A5013509309
Developing an expert system for diet recommendation
2011 · Gergely Kovasznai · IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) · 40
iDQ: Instantiation-Based DQBF Solving
2018 · Andreas Fröhlich, Gergely Kovásznai, et al. · EPiC series in computing · 36
PDF
Complexity of Fixed-Size Bit-Vector Logics
2015 · Gergely Kovásznai, Andreas Fröhlich, et al. · Theory of Computing Systems · 35
A DPLL Algorithm for Solving DQBF
2012 · Andreas Fröhlich, Gergely Kovásznai, et al. · 26
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
2018 · Gergely Kovásznai, Andreas Fröhlich, et al. · EPiC series in computing · 24
PDF
ML-Based Online Traffic Classification for SDNs
2022 · Mohammed Nsaif, Gergely Kovasznai, et al. · IEEE Conference on Information Technology and Data Science (CITDS) · 12
An Adaptive Routing Framework for Efficient Power Consumption in Software-Defined Datacenter Networks
2021 · Mohammed Nsaif, Gergely Kovásznai, et al. · Electronics · 12
PDF
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding
2013 · Andreas Fröhlich, Gergely Kovásznai, et al. · Lecture notes in computer science · 11
Investigations of graph properties in terms of wireless sensor network optimization
2018 · Gergely Kovasznai, Balazs Erdelyi, et al. · 9
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
2014 · Gergely Kovásznai, Helmut Veith, et al. · Lecture notes in computer science · 9
SM-FPLF: Link-State Prediction for Software-Defined DCN Power Optimization
2024 · Mohammed Nsaif, Gergely Kovásznai, et al. · IEEE Access · 7
Puli - A Problem-Specific OMT Solver
2018 · Gergely Kovásznai, Csaba Biró, et al. · EasyChair preprint · 7
PDF
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers.
2017 · Gergely Kovásznai, Csaba Bíró, et al. · 7
Proceedings of the 16th International Conference on Automata and Formal Languages
2023 · Zsolt Gazdag, Szabolcs Iván, et al. · Electronic Proceedings in Theoretical Computer Science · 6
Efficiently Solving Bit-Vector Problems Using Model Checkers
2013 · Andreas Fröhlich, Gergely Kovásznai, et al. · 6
Integer Programming Based Optimization of Power Consumption for Data Center Networks
2023 · Gergely Kovásznai, Mohammed Nsaif · Acta Cybernetica · 5
PDF
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
2019 · Gergely Kovásznai, Krisztián Gajdár, et al. · International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) · 5
PDF
Automated fair team formation in STEAM activities using Satisfiability Modulo Theories (SMT)
2025 · Ali Adil Adil, Gergely Kovásznai, et al. · Az Eszterházy Károly Tanárképző Főiskola tudományos közleményei. Tanulmányok a matematikai tudományok köréből/Az Eszterházy Károly Főiskola tudományos közleményei. Tanulmányok a matematikai tudományok köréből/Annales mathematicae et informaticae · 4
PDF
Survey of Routing Techniques-Based Optimization of Energy Consumption in SD-DCN
2023 · Mohammed Nsaif, Gergely Kovásznai, et al. · Híradástechnika/Infocommunications journal · 4
PDF
Portfolio solver for verifying Binarized Neural Networks
2021 · Gergely Kovásznai, Krisztián Gajdár, et al. · Az Eszterházy Károly Tanárképző Főiskola tudományos közleményei. Tanulmányok a matematikai tudományok köréből/Az Eszterházy Károly Főiskola tudományos közleményei. Tanulmányok a matematikai tudományok köréből/Annales mathematicae et informaticae · 4
PDF
bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR
2013 · Gergely Kovásznai, Andreas Fröhlich, et al. · Lecture notes in computer science · 4
HyperS tableaux - heuristic hyper tableaux
2005 · Gergely Kovásznai · Acta Cybernetica · 4
QoS-Aware Power-Optimized Path Selection for Data Center Networks (Q-PoPS)
2024 · Mohammed Nsaif, Gergely Kovásznai, et al. · Electronics · 3
PDF
Metamodels in generation of UML using NLI-based dialog
2009 · L. Kovacs, G. Kovasznai, et al. · IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) · 3
Cube-and-Conquer Approach for SAT Solving on Grids
2013 · Csaba Bíró, Gergely Kovásznai, et al. · Acta Biologica Plantarum Agriensis (Eszterházy Károly University, Hungary) · 2
PDF
Works count: 60
Citation count: 295
H-index: 9
I10-index: 8
Year
Topic
Type