Diagnosis of Neural Network via Backward Deduction | IEEE Conference Publication | IEEE Xplore