Miner - Y-X is a term I use internally in my own organization. I believe I heard it used casually in several different venues and forums to describe the progressive and convergent search approach. certainly Shainin LLC uses this approach as do many others (Steiner & Mackay and Keki Bote). It originated from many sources notable Leonard Seder, Jack Youden and a guy named H.C.A. Dale wrote several papers regarding the method in the fifties. An easy recent read on this approach can be found here. de Mast also wrote several papers on the use of "branch and prune" and constraints and structure in diagnostic problem solving.
It is important to distinguish the Y-X method as one intended for "complex" physics based problems and not one intended for differently complex people based problems although both frameworks rely on the basic "5-why" framework.
It is important to distinguish the Y-X method as one intended for "complex" physics based problems and not one intended for differently complex people based problems although both frameworks rely on the basic "5-why" framework.