Generalized half-split search for model-based diagnosis | IEEE Journals & Magazine | IEEE Xplore