Goral, A.; Giesen, J.; Blacher, M.; Staudt, C.; Klaus, J. Model Counting and Sampling via Semiring Extensions. AAAI 2024, 38, 20395-20403.