"Harvard Method for Minimizing Boolean Functions" is its name in English or is it correct wording?

Question

Discrete Math

Among the many ways to minimize logical functions, there is a method called the "Harvard method". There is no good information about him in Runet. There are a couple of sites that have torn apart the analysis of one single example from each other, and this analysis is not the best. Therefore, several questions at once.
1. What is the name of this method in the English-language literature (literal translation did not give results)?
2. Are there any really good resources on this issue in RuNet?