I would like to ask your help. I think this is the best place for this. In my language -as well as English- I haven't found anything about Petrick yet. His method okay, but I would like to know about himself, biography like full name, date of/place of birth etc...
I would appreciate if You could help me. Thanks for your help.
Petrick's method originates from the 1956 paper "A Direct Determination of the Irredundant Forms of a Boolean Function from the Set of Prime Implicants" written by S. R. Petrick. It was published as a technical report at the US Air Force Cambridge Research Center. Searching for the same name and institution yields more papers by the same author, but very little information about who S. R. Petrick is or was. Some sources also have a citation to a PhD thesis from MIT by S. R. Petrick entitled "A Recognition Procedure for Transformational Grammars", which was published in 1965.