From Quantitative Analysis to Synthesis of Efficient Binary Neural Networks | IEEE Conference Publication | IEEE Xplore