Jinbo HuangAdnan DarwicheOn Compiling System Models for Faster and More Scalable Diagnosis.300-3062005conf/aaai/2005AAAIdb/conf/aaai/aaai2005.html#HuangD05http://www.aaai.org/Library/AAAI/2005/aaai05-048.php