@inproceedings{ChenChoiDarwiche13,
author = {Suming Chen and Arthur Choi and Adnan Darwiche},
title = {An Exact Algorithm for Computing the {S}ame-{D}ecision {P}robability},
booktitle = {Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI)},
year = {2013},
pages = {2525-2531},
}