Iván Garzón

According to our database, Iván Garzón authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

On the Performance of Deep Generative Models of Realistic SAT Instances.

Iván Garzón, Pablo Mesejo, Jesús Giráldez-Cru

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022