Graph Neural Networks for Propositional Model Counting.

Gaia Saveri Luca Bortolussi

Published in: CoRR (2022)

Keyphrases

model counting
neural network
knowledge compilation
weighted model counting
satisfiability testing
polynomial size
bounded treewidth
propositional formulas
propositional logic
special case
random graphs
graph theoretic