@INPROCEEDINGS{Park.Darwiche.2003, AUTHOR = "J. Park and A. Darwiche", TITLE = "Solving MAP Exactly using Systematic Search", BOOKTITLE = "Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI)", YEAR = 2003, PAGES = "459--468" }