The use of linear programming to select an optimal set of prime implicants

Majithia, 1971, A simple technique for determination of essential multiple outputs prime implicants, IEEE Trans., Vol C.21, 1024 Chazala, 1957, Irredundant disjunctive and conjunctive forms of a Boolean function, IBM J, 171 Bartee, 1961, Computer design of multiple-output logical networks, IEEE Trans., Vol EC10, 21 Petrick, 1956, A direct determination of the irredundant forms of a Boolean function from a set of prime implicants, Air Force Cambridge Research Center, Bedford, Mass., Tech. Report No AFCRC-TR-110 Balas, 1965, An additive algorithm for solving linear programs with zero-one variables, Operations Res., Vol 13, 517, 10.1287/opre.13.4.517 Geofrion, 1967, Integer programming by implicit enumeration and Balas' method, SIAM Review, Vol 9, 10.1137/1009031