Conference paperAn application of linear programming to the minimization of boolean functionsA. Cobham, R. Fridshal, et al.SWCT 1961