On the Performance of Deep Generative Models of Realistic SAT Instances

  1. Garzón, I.
  2. Mesejo, P.
  3. Giráldez-Cru, J.
Actas:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783959772426

Año de publicación: 2022

Volumen: 236

Tipo: Aportación congreso

DOI: 10.4230/LIPICS.SAT.2022.3 GOOGLE SCHOLAR
Fuente de los datos: Scopus