Graph Neural Networks for Propositional Model Counting.

Published in: ESANN (2022)

Keyphrases

model counting
neural network
satisfiability testing
knowledge compilation
weighted model counting
polynomial size
propositional logic
bounded treewidth
propositional formulas
expert systems
undirected graph
graph theoretic