Classification of SAT Problem Instances by Machine Learning Methods

TitleClassification of SAT Problem Instances by Machine Learning Methods
Publication TypeConference Proceedings
Year of Publication2020
AuthorsDanisovszky, M., Z. Győző Yang, and G. Kusper
Conference Name11th International Conference on Applied Informatics (ICAI 2020)
Pagination94-104
Conference LocationEger, Hungary
Keywordsyanzigy
File: