WMI-DNF. Implementation of the WMI algorithm for DNF structures from the KR 2020 paper "On the approximability of weighted model integration on DNF structures".

github.com/radoslav11/WMI-DNF
by @radoslav11

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.