Jason Cong, Yuzheng Ding: FPGA Technology Mapping. Encyclopedia of Algorithms 2008