|
|
Personal data sheet |
Print preview VALIDITY EXPIRED personal data approved: 2020. III. 31. Publications |
2018
from data base, 2020. I. 03. |
Gergely Kovásznai, Balázs Erdélyi, Csaba Biró: Investigations of graph properties in terms of wireless sensor network optimization, In: IEEE (szerk.) 2018 IEEE International Conference on Future IoT Technologies, Future IoT 2018, IEEE (2018) pp. 1-8. type of document: Part of book/Proceedings Paper number of independent citations: 3 language: English
|
2018
from data base, 2020. I. 03. |
Gergely Kovásznai, Csaba Biró, Balázs Erdélyi: Puli – A Problem-Specific OMT solver, In: 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), (2018) 362 type of document: Conference paper/Előadás vagy poszter cikke number of independent citations: 4 language: English Full text |
2017
from data base, 2020. I. 03. |
Gergely Kovásznai, Csaba Biró, Balázs Erdélyi: Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers, CEUR WORKSHOP PROCEEDINGS 1889: pp. 15-27. type of document: Journal paper/Konferenciaközlemény number of independent citations: 3 language: English Full text |
2016
from data base, 2020. I. 03. |
Gergely Kovásznai: What is the State-of-the-Art in DQBF solving?, In: Emil, Vatai (szerk.) 11th Joint Conference on Mathematics and Computer Science, CEUR-WS.org (2016) pp. 185-196. type of document: Conference paper/Előadás vagy poszter cikke language: English
|
2016
from data base, 2020. I. 03. |
Kovásznai Gergely, Andreas Fröhlich, Armin Biere: Complexity of Fixed-Size Bit-Vector Logics, THEORY OF COMPUTING SYSTEMS 59: (2) pp. 323-376. type of document: Journal paper/Article number of independent citations: 18 language: English URL |
2014
from data base, 2020. I. 03. |
Fröhlich Andreas, Kovásznai Gergely, Biere Armin, Veith Helmut: iDQ: Instantiation-Based DQBF Solving, In: Pragmatics of SAT 2014, (2014) pp. 103-116. type of document: Conference paper/Előadás vagy poszter cikke number of independent citations: 26 language: English
|
2013
from data base, 2020. I. 03. |
Fröhlich Andreas, Kovásznai Gergely, Biere Armin: More on the complexity of quantifier-free fixed-size bit-vector logics with binary encoding, LECTURE NOTES IN COMPUTER SCIENCE 2013: (7913) pp. 378-390. type of document: Journal paper/Article number of independent citations: 9 language: English
|
2012
from data base, 2020. I. 03. |
Andreas Fröhlich, Gergely Kovásznai, Armin Biere: A DPLL Algorithm for Solving DQBF, In: Pragmatics of SAT 2012, (2012) FKB-POS12 type of document: Conference paper/Előadás vagy poszter cikke number of independent citations: 22 language: English
|
2012
from data base, 2020. I. 03. |
Gergely Kovásznai, Andreas Fröhlich, Armin Biere: On the Complexity of Fixed-Size Bit-Vector Logics with Binary Encoded Bit-Width, In: 10th International Workshop on Satisfiability Modulo Theories, (2012) pp. 44-55. type of document: Conference paper/Előadás vagy poszter cikke number of independent citations: 18 language: English
|
2011
from data base, 2020. I. 03. |
Gergely Kovásznai: Developing an expert system for diet recommendation, In: Szakál, A (szerk.) Applied Computational Intelligence and Informatics (SACI) 2011, IEEE Hungary Section (2011) pp. 505-509. type of document: Part of book/Proceedings Paper number of independent citations: 23 language: English URL |
| Number of independent citations to these publications: | 126 |
|
|
|
|
|