SAT Instances Generation Using Graph Variational Autoencoders. - Daniel Crowley; Marco Dalla; Barry O'Sullivan; Andrea Visentin (ESANN, 2024)