A minterm-ring algorithm for simplifying Boolean expressions | IEEE Conference Publication | IEEE Xplore