From Shapley Value To Model Counting And Back