Gaia Saveri. Graph Neural Networks for Propositional Model Counting. In 30th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2022, Bruges, Belgium, October 5-7, 2022. 2022. [doi]
Abstract is missing.