Gergely Kovásznai
Gergely Kovásznai
associate professor, Institute of Mathematics and Informatics, Eszterhazy Karoly University
Verified email at - Homepage
Cited by
Cited by
Complexity of fixed-size bit-vector logics
G Kovásznai, A Fröhlich, A Biere
Theory of Computing Systems 59 (2), 323-376, 2016
On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width
G Kovásznai, A Fröhlich, A Biere
SMT 2012, aff. to IJCAR 2012, 44-55, 2012
iDQ: Instantiation-Based DQBF Solving
A Fröhlich, G Kovásznai, A Biere, H Veith
Pragmatics of SAT 2014, 2014
A DPLL algorithm for solving DQBF
A Fröhlich, G Kovásznai, A Biere
Pragmatics of SAT 2012, 2012
Developing an expert system for diet recommendation
G Kovasznai
2011 6th IEEE International Symposium on Applied Computational Intelligence …, 2011
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding
A Fröhlich, G Kovásznai, A Biere
Computer Science – Theory and Applications; Lecture Notes in Computer …, 2013
Efficiently solving bit-vector problems using model checkers
A Fröhlich, G Kovásznai, A Biere
Proceedings of the SMT 13, 2013
On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic
G Kovásznai, H Veith, A Fröhlich, A Biere
Mathematical Foundations of Computer Science 2014; Lecture Notes in Computer …, 2014
Puli–A Problem-Specific OMT solver
G Kovásznai, C Biró, B Erdélyi
Proc. 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), 2018
BV2EPR: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR
G Kovásznai, A Fröhlich, A Biere
Automated Deduction - CADE-24; Lecture Notes in Artificial Intelligence 7898 …, 2013
Investigations of graph properties in terms of wireless sensor network optimization
G Kovásznai, B Erdélyi, C Biró
2018 IEEE International Conference on Future IoT Technologies (Future IoT), 1-8, 2018
Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers
G Kovásznai, C Biró, B Erdélyi
15th International Workshop on Satisfiability Modulo Theories affiliated …, 2017
HyperS Tableaux - Heuristic Hyper Tableaux.
G Kovásznai
Acta Cybernetica 17 (2), 325-338, 2005
What is the State-of-the-Art in DQBF solving?
G Kovásznai
MaCS-16. Joint Conference on Mathematics and Computer Science, 2016
Cube-and-Conquer Approach for SAT Solving on Grids
C Biró, G Kovásznai, A Biere, G Kusper, G Geda
Annales Mathematicae et Informaticae 42, 9-21, 2013
Quantifier-free bit-vector formulas with binary encoding: Benchmark description
G Kovásznai, A Fröhlich, A Biere
SAT COMPETITION 2013, 107, 2013
Metamodels in generation of UML using NLI-based dialog
L Kovacs, G Kovasznai, G Kusper
Applied Computational Intelligence and Informatics, 2009. SACI'09. 5th …, 2009
How Hard is Bit-Precise Reasoning?
G Kovásznai
CAML–A Universal Configuration Language for Dialogue Systems
G Kovásznai, C Kotropoulos, I Pitas
Database and Expert Systems Applications; Lecture Notes in Computer Science …, 2003
An Adaptive Routing Framework for Efficient Power Consumption in Software-Defined Datacenter Networks
M Nsaif, G Kovásznai, A Rácz, A Malik, R de Fréin
Electronics 10 (23), 3027, 2021
The system can't perform the operation now. Try again later.
Articles 1–20