SharpSAT-TD in Model Counting Competitions 2021-2023.

Tuukka Korhonen Matti Järvisalo

Published in: CoRR (2023)

Keyphrases

model counting
weighted model counting
polynomial size
knowledge compilation
satisfiability testing
learning algorithm
special case
database
reinforcement learning
computational complexity
expert systems
probabilistic inference
bounded treewidth