Concepedia

Gergely Kovásznai

GK

Statistics

Publications

8

Citations

185

H-Index

8

Active since

2011

Affiliations

Eszterhazy Karoly Catholic University(Current)

Johannes Kepler University of Linz

Technological University Dublin

University of Debrecen

Gergely Kovásznai is an author at Eszterhazy Karoly Catholic University specializing in computing, computer science, and algorithms.

ORCID

Publications per year

2011–2022

8

Publications

8

Developing an expert system for diet recommendation

Gergely Kovásznai · 2011 · 39 citations

, , +17

Complexity of Fixed-Size Bit-Vector Logics

Gergely Kovásznai, Andreas Fröhlich, Armin Biere · Theory of Computing Systems · 2015 · 33 citations

, , +11

iDQ: Instantiation-Based DQBF Solving

Andreas Fröhlich, Gergely Kovásznai, Armin Biere et al. · EPiC series in computing · 2018 · 33 citations · Full text

, , +4

A DPLL Algorithm for Solving DQBF

Andreas Fröhlich, Gergely Kovásznai, Armin Biere · 2012 · 26 citations

, , +8

On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width

Gergely Kovásznai, Andreas Fröhlich, Armin Biere · EPiC series in computing · 2018 · 23 citations · Full text

, , +12

1–5 of 8