Model Counting in the Wild
[!tip]一篇综述，请教师兄关于 MC 内容的时候师兄给的，主要说的是偏应用的 MC为了面试的时候对 MC 有个大概的了解，临时抱的佛脚 问题介绍 Propositional Model Counting (MC) 即命题模型计数（\sharpSAT）是计算一个 CNF 公式 \mathcal{F} 中有多少个解（即 model） [!note] 与 AllSAT 的区别AllSAT 要求 枚举 (Enumerate) 所有满足公式的变量赋值MC 只要求找到有多少组满足公式