IVÁN
GARZÓN SEGURA
CONTRATO INVESTIGADOR PROYECTO
Publicacions (1) Publicacions de IVÁN GARZÓN SEGURA
2022
-
On the Performance of Deep Generative Models of Realistic SAT Instances
Leibniz International Proceedings in Informatics, LIPIcs