Closed cube computation on multi-core CPUs | IEEE Conference Publication | IEEE Xplore