Export 1 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is D and Author is Danisovszky , Márk  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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)