Synthesis and Optimization of Multiple Portions of Circuits for ECO based on Set-Covering and QBF Formulations. - Masahiro Fujita; Yusuke Kimura; Xingming Le; Yukio Miyasaka; Amir Masoud Gharehbaghi (DATE, 2020)