DPALS: A dynamic programming-based algorithm for two-level approximate logic synthesis. - Zou, Chen; Qian, Weikang; Han, Jie (2015)