Kovásznai, Gergely
15  Ergebnisse:
Personensuche X
?
2

ML-Based Online Traffic Classification for SDNs:

, In: 2022 IEEE 2nd Conference on Information Technology and Data Science (CITDS),
 
?
4

Portfolio SAT and SMT Solving of Cardinality Constraints in..:

, In: 2019 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),
 
?
5

Complexity of Fixed-Size Bit-Vector Logics:

Kovásznai, Gergely ; Fröhlich, Andreas ; Biere, Armin
Theory of Computing Systems.  59 (2015)  2 - p. 323-376 , 2015
 
?
8

Integer Programming Based Optimization of Power Consumption..:

Kovásznai, Gergely ; Nsaif, Mohammed
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4335/4075.  , 2023
 
?
10

An Adaptive Routing Framework for Efficient Power Consumpti..:

Nsaif, Mohammed ; Kovásznai, Gergely ; Rácz, Anett..
Electronics (Switzerland). -10 : 23 (2021), p. 1-18. -Electronics (Switzerland). - 2079-9292.  , 2021
 
?
12

HyperS tableaux - heuristic hyper tableaux:

Kovásznai, Gergely
https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3670/3654.  , 2005
 
1-15