Login / Signup
Iván Garzón
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Stochastic Local Search
Satisfiability Problem
Generative Model
Sat Instances
Top Venues
SAT
</>
Publications
</>
Iván Garzón
,
Pablo Mesejo
,
Jesús Giráldez-Cru
On the Performance of Deep Generative Models of Realistic SAT Instances.
SAT
(2022)