SAT Instances Generation Using Graph Variational Autoencoders

Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review

Original language	English
Title of host publication	The 32ns European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN 2024)
Publication status	Published - 2024

Cite this

@inproceedings{25b4f59fbd1544bc898ef1292deaaad3,

title = "SAT Instances Generation Using Graph Variational Autoencoders",

author = "Daniel Crowley and Marco Dalla and Barry O{\textquoteright}Sullivan and Andrea Visentin",

year = "2024",

language = "English",

booktitle = "The 32ns European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN 2024)",

}