GitHub repository: radoslav11/WMI-DNF
Primary language: Python
Created: 2024-03-15T01:24:27Z
Description: Implementation of the WMI algorithm for DNF structures from the KR 2020 paper "On the approximability of weighted model integration on DNF structures".