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:
