James D. Park Adnan Darwiche Solving MAP Exactly using Systematic Search. 459-468 2003 conf/uai/2003 UAI db/conf/uai/uai2003.html#ParkD03 http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=962&proceeding_id=19