Bridging Weighted First Order Model Counting and Graph Polynomials.

Qipeng Kuang Ondrej Kuzelka Yuanhong Wang Yuyi Wang

Published in: CoRR (2024)

Keyphrases

model counting
polynomial size
weighted graph
weighted model counting
knowledge compilation
bounded treewidth
first order logic
search algorithm
graph theoretic
knowledge base
computational complexity
boolean functions
satisfiability testing