9. A system for network fault diagnosis in a network having a plurality of network elements, comprising: a network causality model; SAT sets; and network monitoring results, wherein the network causality model generates the SAT sets using Boolean expressions, the network monitoring results and the SAT sets are correlated to enumerate all possible diagnostic explanations of potential faults, and a ranked fault list having said explanations with annotations are displayed on a display device further comprising: a plurality of element-specific causality models, each element-specific causality model created from one of the plurality of network elements; a network topology; and monitoring state and propagation information, wherein the plurality of network elements are stitched together using the plurality of element-specific causality models and the network topology, and the network causality model is generated using the stitched together network elements and the monitoring state and propagation information.
9. A system for network fault diagnosis in a network having a plurality of network elements, comprising: a network causality model; SAT sets; and network monitoring results, wherein the network causality model generates the SAT sets using Boolean expressions, the network monitoring results and the SAT sets are correlated to enumerate all possible diagnostic explanations of potential faults, and a ranked fault list having said explanations with annotations are displayed on a display device further comprising: a plurality of element-specific causality models, each element-specific causality model created from one of the plurality of network elements; a network topology; and monitoring state and propagation information, wherein the plurality of network elements are stitched together using the plurality of element-specific causality models and the network topology, and the network causality model is generated using the stitched together network elements and the monitoring state and propagation information. 12. The system according to claim 9 , wherein the plurality of network elements and element-specific causality models are organized into a taxonomy and categorized.