From Shapley Value to Model Counting and Back.

Ahmet Kara Dan Olteanu Dan Suciu

Published in: CoRR (2023)

Keyphrases

model counting
weighted model counting
knowledge compilation
game theory
polynomial size
satisfiability testing
probabilistic inference
machine learning
learning algorithm
scheduling problem
graphical models
industrial applications
target language
propositional formulas