Jiang, J.-H.R.J.-H.R.JiangLin, H.-P.H.-P.LinHung, W.-L.W.-L.HungJIE-HONG JIANG2020-06-112020-06-112011https://scholars.lib.ntu.edu.tw/handle/123456789/497773Extracting functions from boolean relations using SAT and interpolationbook part10.1007/978-1-4419-7518-8_162-s2.0-84885808652https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885808652&doi=10.1007%2f978-1-4419-7518-8_16&partnerID=40&md5=9d7a5f5621c5e2b2b4213d51f0568eb5