Probabilistic models are often used in practice to represent and reason about uncertainty. A key reasoning task over them is finding the most probable assignment to all the unobserved variables given observations. This ...