Improving Synthesis of Compressor Trees on FPGAs via Integer Linear Programming | IEEE Conference Publication | IEEE Xplore