On hashing-based approaches to approximate DNF-counting
From MaRDI portal
Publication:5136333
DOI10.4230/LIPICS.FSTTCS.2017.41zbMATH Open1491.68193arXiv1710.05247MaRDI QIDQ5136333FDOQ5136333
Authors: Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi 
Publication date: 25 November 2020
Full work available at URL: https://arxiv.org/abs/1710.05247
Recommendations
- Not all FPRASs are equal: demystifying FPRASs for DNF-counting
- A new probabilistic algorithm for approximate model counting
- Theory and Applications of Satisfiability Testing
- Two approximate algorithms for model counting
- Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Randomized algorithms (68W20) Approximation algorithms (68W25)
Cites Work
- Random generation of combinatorial structures from a uniform distribution
- On computing minimal independent support and its applications to sampling and counting
- Short XORs for Model Counting: From Theory to Practice
- Probabilistic planning via heuristic forward search and weighted model counting
- The Complexity of Enumeration and Reliability Problems
- Title not available (Why is that?)
- On the hardness of approximate reasoning
- Monte-Carlo approximation algorithms for enumeration problems
- Model counting: a new stategy for obtaining good bounds
- Title not available (Why is that?)
- Title not available (Why is that?)
- An Optimal Algorithm for Monte Carlo Estimation
Cited In (8)
- Not all FPRASs are equal: demystifying FPRASs for DNF-counting
- IASCAR: incremental answer set counting by anytime refinement
- A new probabilistic algorithm for approximate model counting
- Model counting meets \(F_0\) estimation
- Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling
- Approximate weighted model integration on DNF structures
- Open-world probabilistic databases: semantics, algorithms, complexity
- Rounding meets approximate model counting
This page was built for publication: On hashing-based approaches to approximate DNF-counting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5136333)
