Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Danisovszky , Márk  [Clear All Filters]
2020
Danisovszky, M., Z. Győző Yang, and G. Kusper, "Classification of SAT Problem Instances by Machine Learning Methods", 11th International Conference on Applied Informatics (ICAI 2020), Eger, Hungary, pp. 94-104, 2020.  (976.47 KB)