Feng Liu QingPing Tan Xiaoyu Song Gang Chen 0004 Formal Proof for a General Architecture of Hybrid Prefix/Carry-Select Adders. 193-204 2010 ICA3PP (1) http://dx.doi.org/10.1007/978-3-642-13119-6_17 conf/ica3pp/2010-1 db/conf/ica3pp/ica3pp2010-1.html#LiuTSC10