Solomon Eyal Shimony Finding MAPs for Belief Networks is NP-Hard. 399-410 1994 68 Artif. Intell. 2 db/journals/ai/ai68.html#Shimony94