The most probable database problem
MPE and Partial Inversion in Lifted Probabilistic Variable Elimination