Optimizing BDDs for Time-Series dataset manipulation | IEEE Conference Publication | IEEE Xplore