Folgen
Gergely Kovásznai
Gergely Kovásznai
Eszterhazy Karoly University
Bestätigte E-Mail-Adresse bei aries.ektf.hu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Complexity of fixed-size bit-vector logics
G Kovásznai, A Fröhlich, A Biere
Theory of Computing Systems 59 (2), 323-376, 2016
532016
iDQ: Instantiation-Based DQBF Solving
A Fröhlich, G Kovásznai, A Biere, H Veith
Pragmatics of SAT 2014, 2014
522014
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
462012
A DPLL algorithm for solving DQBF
A Fröhlich, G Kovásznai, A Biere
Pragmatics of SAT 2012, 2012
442012
Developing an expert system for diet recommendation
G Kovasznai
2011 6th IEEE International Symposium on Applied Computational Intelligence …, 2011
442011
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
212013
Efficiently solving bit-vector problems using model checkers
A Fröhlich, G Kovásznai, A Biere
Proceedings of the SMT 13, 2013
142013
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
122021
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
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
112018
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
92022
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
92018
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
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
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
62019
HyperS Tableaux - Heuristic Hyper Tableaux.
G Kovásznai
Acta Cybernetica 17 (2), 325-338, 2005
52005
Survey of Routing Techniques-Based Optimization of Energy Consumption in SD-DCN
M Nsaif, G Kovásznai, A Malik, R de Fréin
INFOCOMMUNICATIONS JOURNAL 15 (SI), 35-42, 2023
42023
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
42021
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20