A global optimization algorithm for the minimum test set of circuits | IEEE Conference Publication | IEEE Xplore