Lin, H.-P.H.-P.LinJiang, J.-H.R.J.-H.R.JiangLee, R.-R.R.-R.LeeJIE-HONG JIANG2020-06-112020-06-112011https://scholars.lib.ntu.edu.tw/handle/123456789/497774Ashenhurst decomposition using SAT and interpolationbook part10.1007/978-1-4419-7518-8_52-s2.0-84885749373https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885749373&doi=10.1007%2f978-1-4419-7518-8_5&partnerID=40&md5=53bbfd90b4f0fa9810a3825c53f37ca6