Effect of Quine-McCluskey simplification on Boolean space complexity | IEEE Conference Publication | IEEE Xplore