An Algorithm for the Automatic Approximate Minimization of Boolean Functions
N. N. Necula · IEEE Transactions on Computers · 1968
Abstract—There are several algorithms that determine directly an irredundant normal form (INF) of a Boolean function without generating the entire set of prime implicants. These algorithms can generate solutions for the minimization problem much more rapidly than the algorithms determining minimum normal forms (MNF), and the cost of these solutions is, in many cases, very close to the minimum.