Graph Neural Networks for Propositional Model Counting.

Gaia Saveri

Browse the full ESANN paper archive.