1 citations · 1 across the 10 of their papers we have counts for
1 paper · 2 filters
Jinzhao Li, Nan Jiang, Yexiang Xue
Satisfiability Modulo Counting (SMC) is a recently proposed general language to reason about problems integrating statistical and symbolic Artificial Intelligence. An SMC problem i…