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
442012
iDQ: Instantiation-Based DQBF Solving
A Fröhlich, G Kovásznai, A Biere, H Veith
Pragmatics of SAT 2014, 2014
402014
Complexity of fixed-size bit-vector logics
G Kovásznai, A Fröhlich, A Biere
Theory of Computing Systems 59 (2), 323-376, 2016
392016
A DPLL algorithm for solving DQBF
A Fröhlich, G Kovásznai, A Biere
Pragmatics of SAT 2012, 2012
372012
Developing an expert system for diet recommendation
G Kovasznai
2011 6th IEEE International Symposium on Applied Computational Intelligence …, 2011
332011
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
172013
Efficiently solving bit-vector problems using model checkers
A Fröhlich, G Kovásznai, A Biere
Proceedings of the SMT 13, 2013
122013
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
92014
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
82013
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
62018
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
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
What is the State-of-the-Art in DQBF solving?
G Kovásznai
MaCS-16. Joint Conference on Mathematics and Computer Science, 2016
32016
Quantifier-free bit-vector formulas with binary encoding: Benchmark description
G Kovásznai, A Fröhlich, A Biere
SAT COMPETITION 2013, 107, 2013
32013
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
32009
How Hard is Bit-Precise Reasoning?
G Kovásznai
22017
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
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
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
G Kovásznai, K Gajdár, L Kovács
Proceedings of the 21st International Symposium on Symbolic and Numeric …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20