PABLO
MESEJO SANTIAGO
PROFESOR CONTRATADO DOCTOR
IVÁN
GARZÓN SEGURA
CONTRATO INVESTIGADOR PROYECTO
Publications dans lesquelles il/elle collabore avec IVÁN GARZÓN SEGURA (1)
2022
-
On the Performance of Deep Generative Models of Realistic SAT Instances
Leibniz International Proceedings in Informatics, LIPIcs