Search Results for author:
Found 1 papers, 0 papers with code
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry
We study the symmetric weighted first-order model counting task and present ApproxWFOMC, a novel anytime method for efficiently bounding the weighted first-order model count in the presence of an unweighted first-order model counting oracle.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
