# Variable elimination

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

- TPLP
- 2014

Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries inâ€¦Â (More)

Is this relevant?

2012

2012

- AISTATS
- 2012

Lifted probabilistic inference algorithms exploit regularities in the structure of graphical models to perform inference moreâ€¦Â (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

- TACAS
- 2010

Boolean satisfiability (SAT) and its extensions are becomin g a core technology for the analysis of systems. The SAT-based approâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- IJCAI
- 2007

Compiling Bayesian networks has proven an effective approach for inference that can utilize both global and local networkâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- SAT
- 2005

Preprocessing SAT instances can reduce their size considerably. We combine variable elimination with subsumption andâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- SAT
- 2004

The original algorithm for the SAT problem, Variable Elimination Resolution (VER/DP) has exponential space complexity. To tackleâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- 2000

This paper describes a generalized version of the variable elimination algorithm for Bayesian networks. Variable eliminationâ€¦Â (More)

Is this relevant?

2000

2000

- CP
- 2000

Variable elimination is the basic step of Adaptive Consistency[4]. It transforms the problem into an equivalent one, having oneâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Artif. Intell.
- 1999

Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving andâ€¦Â (More)

Is this relevant?

1999

1999

- POPL
- 1999

A useless variable is one whose value contributes nothing to the final outcome of a computation. Such variables are unlikely toâ€¦Â (More)

Is this relevant?