291 citations · 445 across the 25 of their papers we have counts for
Showing 2014 · cs.DBShow all
2 papers · 2 filters
cs.DB2014
Symmetric Weighted First-Order Model Counting
Paul Beame, Guy Van den Broeck, Eric Gribkoff +1
The FO Model Counting problem (FOMC) is the following: given a sentence in FO and a number , compute the number of models of over a domain of size ; the Weighted vari…
cs.DB2014★ 11 cited
Skew in Parallel Query Processing
Paul Beame, Paraschos Koutris, Dan Suciu
We study the problem of computing a conjunctive query q in parallel, using p of servers, on a large database. We consider algorithms with one round of communication, and study the…