A novel concurrent cache-friendly binary decision diagram construction for multi-core platforms | IEEE Conference Publication | IEEE Xplore