On Hashing-Based Approaches to Approximate DNF-Counting

14 October 2017

Papers citing "On Hashing-Based Approaches to Approximate DNF-Counting"

2 / 2 papers shown

Title
IASCAR: Incremental Answer Set Counting by Anytime Refinement Johannes Fichte S. A. Gaggl Markus Hecher Dominik Rusovac 30 1 0 13 Nov 2023
On the Approximability of Weighted Model Integration on DNF Structures Ralph Abboud .Ismail .Ilkan Ceylan Radoslav Dimitrov TPM 39 5 0 17 Feb 2020