Nyomtatási kép ARCHÍV OLDAL Az adatok hitelességéről nyilatkozott: 2020. III. 31. Közlemények |
2018
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 3 nyelv: angol
|
2018
adattárból, 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 dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke független idéző közlemények száma: 4 nyelv: angol Teljes szöveg |
2017
adattárból, 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. dokumentum típusa: Folyóiratcikk/Konferenciaközlemény független idéző közlemények száma: 3 nyelv: angol Teljes szöveg |
2016
adattárból, 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. dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke nyelv: angol
|
2016
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 18 nyelv: angol URL |
2014
adattárból, 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. dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke független idéző közlemények száma: 26 nyelv: angol
|
2013
adattárból, 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. dokumentum típusa: Folyóiratcikk/Szakcikk független idéző közlemények száma: 9 nyelv: angol
|
2012
adattárból, 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 dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke független idéző közlemények száma: 22 nyelv: angol
|
2012
adattárból, 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. dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke független idéző közlemények száma: 18 nyelv: angol
|
2011
adattárból, 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. dokumentum típusa: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 23 nyelv: angol URL |
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 126 |
|
|