Publications

@article{saveri2022graph,

title = {Graph Neural Networks for Propositional Model Counting},

author = {Gaia Saveri and Luca Bortolussi},

url = {https://www.esann.org/sites/default/files/proceedings/2022/ES2022-88.pdf},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

journal = {arXiv preprint arXiv:2205.04423},

keywords = {},

pubstate = {published},

tppubtype = {article}

}