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)
    Azonosítók
    • MTMT: 31436563
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-04-18 22:25