Design Space Optimization with Machine Learning Library Pruning | IEEE Conference Publication | IEEE Xplore