Min-Wen Du
Department of Computer Science, Johns Hopkins University, Baltimore, Md. 21218.
Multiple Fault Detection in Combinational Circuits: Algorithms and Computational Results
IEEE Transactions on Computers
This correspondence derives a lower bound for the size of a minimal solution of a 0-1 covering problem.