activity
20202026
most citedShortest Path Networks for Graph Property Prediction

9 citations · 10 across the 3 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.AI2020

On the Approximability of Weighted Model Integration on DNF Structures

Ralph Abboud, İsmail İlkan Ceylan, Radoslav Dimitrov

Weighted model counting (WMC) consists of computing the weighted sum of all satisfying assignments of a propositional formula. WMC is well-known to be #P-hard for exact solving, bu…