Gergely Kovásznai

16 papers A 1C 1Misc 4Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2024 J jnl
SM-FPLF: Link-State Prediction for Software-Defined DCN Power Optimization.
IEEE Access
Mohammed Ridha Nsaif, Gergely Kovásznai, Ali Malik, Ruairí de Fréin
2023 J jnl
Integer Programming Based Optimization of Power Consumption for Data Center Networks.
Acta Cybern.
Gergely Kovásznai, Mohammed Ridha Nsaif
2023 — ed.
Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023.
AFL
Zsolt Gazdag, Szabolcs Iván, Gergely Kovásznai
2020 — ed.
Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020), Eger, Hungary, January 29-31, 2020.
ICAI
Gergely Kovásznai, István Fazekas, Tibor Tómács
2019 Misc conf
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization.
SYNASC
Gergely Kovásznai, Krisztián Gajdár, Laura Kovács
2017 — conf
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers.
SMT
Gergely Kovásznai, Csaba Biró, Balazs Erdelyi
2016 J jnl
Complexity of Fixed-Size Bit-Vector Logics.
Theory Comput. Syst.
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
2014 — conf
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic.
MFCS (2)
Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
2014 — conf
iDQ: Instantiation-Based DQBF Solving.
POS@SAT
Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
2013 A conf
: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into.
CADE
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
2013 Misc conf
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding.
CSR
Andreas Fröhlich, Gergely Kovásznai, Armin Biere
2012 — conf
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width.
SMT@IJCAR
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
2011 Misc conf
Developing an expert system for diet recommendation.
SACI
Gergely Kovásznai
2009 Misc conf
Metamodels in generation of UML using NLI-based dialog.
SACI
László Kovács, Gergely Kovásznai, Gábor Kusper
2006 J jnl
HyperS Tableaux - Heuristic Hyper Tableaux.
Acta Cybern.
Gergely Kovásznai
2003 C conf
CAML - A Universal Configuration Language for Dialogue Systems.
DEXA
Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas