Jinbo Huang, Adnan Darwiche. On Compiling System Models for Faster and More Scalable Diagnosis. In Manuela M. Veloso, Subbarao Kambhampati, editors, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. pages 300-306, AAAI Press / The MIT Press, 2005.
Abstract is missing.