The most probable database problem
Linear-time algorithms for testing the satisfiability of propositional horn formulae