@Inproceedings{HuangAAAI05,
author = {Jinbo Huang and Adnan Darwiche},
title = {On Compiling System Models for Faster and More Scalable Diagnosis},
booktitle = {Proceedings of the 20th National Conference on Artificial Intelligence (AAAI)},
pages = {300-306},
location = {Pittsburgh, Pennsylvania},
year = {2005}
}