Publications

Export 1 results:
Author Title [ Type(Asc)] Year
Filters: Author is Danisovszky , Márk  [Clear All Filters]
Conference Proceedings
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)