Gergely Kovásznai
Gergely Kovásznai
associate professor, Institute of Mathematics and Informatics, Eszterhazy Karoly University
Verified email at aries.ektf.hu - Homepage
Title
Cited by
Cited by
Year
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
392012
Complexity of fixed-size bit-vector logics
G Kovásznai, A Fröhlich, A Biere
Theory of Computing Systems 59 (2), 323-376, 2016
332016
A DPLL algorithm for solving DQBF
A Fröhlich, G Kovásznai, A Biere
Pragmatics of SAT 2012, 2012
322012
iDQ: Instantiation-Based DQBF Solving
A Fröhlich, G Kovásznai, A Biere, H Veith
Pragmatics of SAT 2014, 2014
312014
Developing an expert system for diet recommendation
G Kovasznai
2011 6th IEEE International Symposium on Applied Computational Intelligence …, 2011
282011
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
182013
Efficiently solving bit-vector problems using model checkers
A Fröhlich, G Kovásznai, A Biere
Proceedings of the SMT 13, 2013
132013
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
92013
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
82014
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
62018
HyperS Tableaux - Heuristic Hyper Tableaux.
G Kovásznai
Acta Cybernetica 17 (2), 325-338, 2005
52005
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
42018
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
42017
Quantifier-free bit-vector formulas with binary encoding: Benchmark description
G Kovásznai, A Fröhlich, A Biere
SAT COMPETITION 2013, 107, 2013
42013
A Survey on DQBF: Formulas, Applications, Solving Approaches
G Kovásznai
QUANTIFY 2015, 8, 2015
22015
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
22013
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
22009
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
22003
How Hard is Bit-Precise Reasoning?
G Kovásznai
12017
Simplifying the propositional satisfiability problem by sub-model propagation
G Kusper, L Csőke, G Kovásznai
Annales Mathematicae et Informaticae 35, 75-94, 2008
12008
The system can't perform the operation now. Try again later.
Articles 1–20