Classification of SAT Problem Instances by Machine Learning Methods
Title | Classification of SAT Problem Instances by Machine Learning Methods |
Publication Type | Conference Proceedings |
Year of Publication | 2020 |
Authors | Danisovszky, M., Z. Győző Yang, and G. Kusper |
Conference Name | 11th International Conference on Applied Informatics (ICAI 2020) |
Pagination | 94-104 |
Conference Location | Eger, Hungary |
Keywords | yanzigy |
File: