variable elimination in graphical models
variable elimination with evidence
A model for probability queries in Graphical models.
https://www.wikiwand.com/en/Variable_elimination
Complexity of Variable Elimination
Graph-Based Perspective on Variable Elimination. Every factor in VE corresponds to a Clique in the induced graph (see def. in vid)
Width of induced graph: size of largest clique on induced graph.
minimal width