Pipelined compressor tree optimization using integer linear programming | IEEE Conference Publication | IEEE Xplore