Projected Model Counting

07/28/2015
by   Rehan Abdul Aziz, et al.
0

Model counting is the task of computing the number of assignments to variables V that satisfy a given propositional theory F. Model counting is an essential tool in probabilistic reasoning. In this paper, we introduce the problem of model counting projected on a subset P of original variables that we call 'priority' variables. The task is to compute the number of assignments to P such that there exists an extension to 'non-priority' variables V that satisfies F. Projected model counting arises when some parts of the model are irrelevant to the counts, in particular when we require additional variables to model the problem we are counting in SAT. We discuss three different approaches to projected model counting (two of which are novel), and compare their performance on different benchmark problems. To appear in 18th International Conference on Theory and Applications of Satisfiability Testing, September 24-27, 2015, Austin, Texas, USA

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/19/2022

DPER: Dynamic Programming for Exist-Random Stochastic SAT

In Bayesian inference, the maximum a posteriori (MAP) problem combines t...
research
12/19/2013

Skolemization for Weighted First-Order Model Counting

First-order model counting emerged recently as a novel reasoning task, a...
research
11/28/2018

Counting Complexity for Reasoning in Abstract Argumentation

In this paper, we consider counting and projected model counting of exte...
research
10/19/2021

Pre and Post Counting for Scalable Statistical-Relational Model Discovery

Statistical-Relational Model Discovery aims to find statistically releva...
research
03/28/2019

Counting the learnable functions of structured data

Cover's function counting theorem is a milestone in the theory of artifi...
research
02/14/2023

Reasoning on Feature Models: Compilation-Based vs. Direct Approaches

Analyzing a Feature Model (FM) and reasoning on the corresponding config...
research
12/02/2020

The Model Counting Competition 2020

Many computational problems in modern society account to probabilistic r...

Please sign up or login with your details

Forgot password? Click here to reset