Follow
Gergely Kovásznai
Gergely Kovásznai
Eszterhazy Karoly University
Verified email at aries.ektf.hu - Homepage
Title
Cited by
Cited by
Year
iDQ: Instantiation-Based DQBF Solving
A Fröhlich, G Kovásznai, A Biere, H Veith
Pragmatics of SAT 2014, 2014
512014
Complexity of fixed-size bit-vector logics
G Kovásznai, A Fröhlich, A Biere
Theory of Computing Systems 59 (2), 323-376, 2016
502016
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
A DPLL algorithm for solving DQBF
A Fröhlich, G Kovásznai, A Biere
Pragmatics of SAT 2012, 2012
432012
Developing an expert system for diet recommendation
G Kovasznai
2011 6th IEEE International Symposium on Applied Computational Intelligence …, 2011
412011
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
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
122014
Efficiently solving bit-vector problems using model checkers
A Fröhlich, G Kovásznai, A Biere
Proceedings of the SMT 13, 2013
122013
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
102018
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
92017
What is the State-of-the-Art in DQBF solving?
G Kovásznai
MaCS-16. Joint Conference on Mathematics and Computer Science, 2016
92016
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
82018
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
ML-Based Online Traffic Classification for SDNs
M Nsaif, G Kovásznai, M Abboosh, A Malik, R de Fréin
2022 IEEE 2nd Conference on Information Technology and Data Science (CITDS …, 2022
62022
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
62021
HyperS Tableaux - Heuristic Hyper Tableaux.
G Kovásznai
Acta Cybernetica 17 (2), 325-338, 2005
52005
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
42013
Portfolio solver for verifying Binarized Neural Networks
G Kovásznai, K Gajdár, N Narodytska
Annales Mathematicae et Informaticae (53.): Selected papers of the 1st …, 2021
32021
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
32019
Quantifier-free bit-vector formulas with binary encoding: Benchmark description
G Kovásznai, A Fröhlich, A Biere
SAT COMPETITION 2013, 107, 2013
32013
The system can't perform the operation now. Try again later.
Articles 1–20