The proposed algorithm is an essential solution to the problem of estimating probabilistic models on exponentially many complete structures.
the applicability of this algorithm relies on the constraint that features are defined locally in conjunctive nodes.