@article{graphneuralnetworksforpropositionalmodel,
  title = {Graph Neural Networks for Propositional Model Counting},
  author = {Gaia Saveri and Luca Bortolussi},
  year = {2022},
  eprint = {2205.04423},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2205.04423v1},
}