Title :
A Result on Set Extraction and Application to Covering-Closure Tables
Author :
Dollhoff, Terry L. ; Weinberg, Bernard L.
Author_Institution :
Naval Ship Engineering Center, Prince George´´s Center, Hyattsville, Md. 20782.
fDate :
6/1/1972 12:00:00 AM
Abstract :
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.
Keywords :
Costs; Equations; Marine vehicles; Covering-closure table; extraction minimization; reduction; variable cost solution;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1972.5009018