Tung-Yuan Lee, Chia-Cheng Wu, Chia-Chun Lin, Yung-Chih Chen, Chun-Yao Wang: Logic optimization with considering boolean relations. DATE 2018: 761-766