Classification of SAT Problem Instances by Machine Learning Methods

Danisovszky, Márk; Yang, Zijian Győző [Yang, Zijian Győző (Nyelvtechnológia), szerző] Számítástudományi Tanszék (EKE / IK / MII); Kusper, Gábor [Kusper, Gábor (Számítástudomány), szerző] Számítástudományi Tanszék (EKE / IK / MII)

Angol nyelvű Tudományos Konferenciaközlemény (Egyéb konferenciaközlemény)
Megjelent: Kovásznai Gergely. Proceedings of the 11th International Conference on Applied Informatics (ICAI 2020). (2020) pp. 94-104
    Azonosítók
    • MTMT: 31436563
    Idézett közlemények (2)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-04-18 22:25