Login / Signup

From Shapley Value to Model Counting and Back.

Ahmet KaraDan OlteanuDan Suciu
Published in: Proc. ACM Manag. Data (2024)
Keyphrases
  • model counting
  • weighted model counting
  • game theory
  • knowledge compilation
  • polynomial size
  • satisfiability testing
  • probabilistic inference
  • search algorithm
  • normal form