Ruei-Rung LeeJie-Hong Rol JiangWei-Lun HungJIE-HONG JIANG2018-09-102018-09-102011-01http://scholars.lib.ntu.edu.tw/handle/123456789/366808Bi-decomposition Using SAT and Interpolationbook