Papers related to Model counting

• Obtaining information leakage bounds via approximate model counting [saha:pldi:2023]