11.
Kovásznai, Gergely ; Gajdár, Krisztián ; Nina, Narodytska
Portfolio Solver for Verifying Binarized Neural Networks
In: The 1st Conference on Information Technology and Data Science
(2020) pp. 108-110. , 3 p.
Közlemény:32169825 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[32169825] [Nyilvános]
12.
Kovásznai, Gergely ; Palanek, Krisztián
Adding Cardinality Constraint Support to CryptoMiniSat (2020)
poszter, https://arato.inf.unideb.hu/isspsm2017/index.php/poster/34-adding-cardinality-constraint-support-to-cryptominisatpalanek-kovasznai,
Közlemény:32169811 Nyilvános Forrás Egyéb (Nem besorolt ) Tudományos
Nem besorolt (Egyéb) | Tudományos[32169811] [Nyilvános]
13.
Krisztián, Palanek ; Gergely, Kovásznai
Adding Cardinality Constraint Support to CryptoMiniSat
In: CITDS2020 Poster Session
(2020) pp. 1-13. , 13 p.
Közlemény:31674855 Nyilvános Forrás Egyéb konferenciaközlemény (Nem besorolt )
Nem besorolt (Egyéb konferenciaközlemény) | Tudományos[31674855] [Nyilvános]
14.
Krisztián, Palanek ; Gergely, Kovásznai
Adding Cardinality Constraint Support to CryptoMiniSat
In: The 1st Conference on Information Technology and Data Science
(2020) pp. 137-139. , 3 p.
Közlemény:31674853 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31674853] [Nyilvános]
15.
Gergely, Kovásznai ; Gajdár, Krisztián ; Nina, Narodytska
Portfolio Solver for Verifying Binarized Neural Networks
In: Kovásznai, Gergely; Fazekas, István; Tómács, Tibor (szerk.) Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020)
Eger, Magyarország : CEUR Workshop Proceedings (2020) 451 p. p. 1
Közlemény:31674814 Nyilvános Forrás Duplumgyanú Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31674814] [Nyilvános]
16.
Kovásznai, Gergely ; Kusper, Gábor ; Biró, Csaba
A Practical Way of Teaching Logic to Computer Science BSc Students by Using State-of-the-Art Tools Including SMT Solvers
In: Kovásznai, Gergely; Fazekas, István; Tómács, Tibor (szerk.) Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020)
Eger, Magyarország : CEUR Workshop Proceedings (2020) 451 p. Paper: 143 , 2 p.
Teljes dokumentum
Közlemény:31402778 Nyilvános Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[31402778] [Nyilvános]
17.
Kovásznai, Gergely (szerk.) ; Fazekas, István (szerk.) ; Tómács, Tibor (szerk.)
Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020)
Eger, Magyarország : CEUR Workshop Proceedings (2020) , 451 p.
Teljes dokumentum
Közlemény:31399409 Nyilvános Forrás Egyéb konferenciakötet Tudományos
Egyéb konferenciakötet | Tudományos[31399409] [Nyilvános]
18.
Kovasznai, Gergely ; Gajdar, Krisztian ; Kovacs, Laura
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
In: Hong, Hoon; Negru, Viorel; Petcu, Dana; Zaharie, Daniela (szerk.) 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Washington DC, Amerikai Egyesült Államok : IEEE Computer Society Conference Publishing Services (CPS) (2019) pp. 85-91. , 7 p.
DOI WoS Egyéb URL
Közlemény:31277157 Admin láttamozott Forrás Idéző Könyvrészlet (Könyvfejezet ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Könyvfejezet (Könyvrészlet) | Tudományos[31277157] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
19.
Kovásznai, Gergely
Computational Complexity and Solving Approaches for Bit-Vector Reasoning 202 p.
Informatikai Tudományok Doktori Iskola, Debreceni Egyetem, Disszertáció benyújtásának éve: 2018, Védés éve: 2018 Megjelenés/Fokozatszerzés éve: 2018
Közlemény:30441039 Nyilvános Forrás Idéző Disszertáció (Habilitációs anyag ) Idézett közlemények száma: 9
Habilitációs anyag (Disszertáció) | Tudományos[30441039] [Nyilvános]
20.
Gergely, Kovásznai
How Hard is Bit-Precise Reasoning?
In: Gábor, Kusper; Gergely, Kovásznai; Roland, Kunkli; Sándor, Király; Tibor, Tómács (szerk.) Proceedings of the 10th International Conference on Applied Informatics
Eger, Magyarország : Eszterházy Károly Egyetem (2018) pp. 179-190. , 12 p.
Egyéb URL
Közlemény:30406846 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[30406846] [Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
2024-05-06 01:33