Gergely Kovásznai

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 5

Top Topics

Cardinality Constraints

Wireless Sensor Networks

Decision Problems

Modulo Theories

Top Venues

Theory Comput. Syst.

Publications

Mohammed Ridha Nsaif, Gergely Kovásznai, Ali Malik, Ruairí de Fréin
SM-FPLF: Link-State Prediction for Software-Defined DCN Power Optimization. IEEE Access 12 (2024)
Gergely Kovásznai, Mohammed Ridha Nsaif
Integer Programming Based Optimization of Power Consumption for Data Center Networks. Acta Cybern. 26 (3) (2023)
Gergely Kovásznai, Krisztián Gajdár, Laura Kovács
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization. SYNASC (2019)
Gergely Kovásznai, Csaba Biró, Balazs Erdelyi
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers. SMT (2017)
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
Complexity of Fixed-Size Bit-Vector Logics. Theory Comput. Syst. 59 (2) (2016)
Andreas Fröhlich, Gergely Kovásznai, Armin Biere, Helmut Veith
iDQ: Instantiation-Based DQBF Solving. POS@SAT (2014)
Gergely Kovásznai, Helmut Veith, Andreas Fröhlich, Armin Biere
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic. MFCS (2) (2014)
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into. CADE (2013)
Andreas Fröhlich, Gergely Kovásznai, Armin Biere
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding. CSR (2013)
Gergely Kovásznai, Andreas Fröhlich, Armin Biere
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width. SMT@IJCAR (2012)
Gergely Kovásznai
Developing an expert system for diet recommendation. SACI (2011)
László Kovács, Gergely Kovásznai, Gábor Kusper
Metamodels in generation of UML using NLI-based dialog. SACI (2009)
Gergely Kovásznai
HyperS Tableaux - Heuristic Hyper Tableaux. Acta Cybern. 17 (2) (2006)
Gergely Kovásznai, Constantine Kotropoulos, Ioannis Pitas
CAML - A Universal Configuration Language for Dialogue Systems. DEXA (2003)