Issue No. 06 - June (1972 vol. 21)
Terry L. Dollhoff , Naval Ship Engineering Center, Prince George's Center, Hyattsville, Md. 20782.
Bernard L. Weinberg , Department of Computer Science, Michigan State University, East Lansing, Mich. 48823.
A general result on Boolean set extraction is obtained. By partitioning Boolean cubes into two sets as they are generated, both computational effort of redundant cube elimination and memory requirements are reduced. The extraction procedure is computer implemented and applied to the exact solution of covering-closure tables for any given cost criterion.
T. L. Dollhoff and B. L. Weinberg, "A Result on Set Extraction and Application to Covering-Closure Tables," in IEEE Transactions on Computers, vol. 21, no. , pp. 603-606, 1972.