activity
20152026
most citedA Theory of Link Prediction via Relational Weisfeiler-Leman on Knowledge Graphs

5 citations · 11 across the 17 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…