Belle, V. Open-Universe Weighted Model Counting. AAAI 2017, 31.