Work

From weighted to unweighted model counting

FWCI: 2.151
Cites: 30
Cited by: 38
Related to: 10