Logic optimization on a concurrent processing computer | IEEE Conference Publication | IEEE Xplore