Jinbo Huang Mark Chavira Adnan Darwiche Solving MAP Exactly by Searching on Compiled Arithmetic Circuits. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#HuangCD06