Bi-decomposition using SAT and interpolation

Journal

Advanced Techniques in Logic Synthesis, Optimizations and Applications

Pages

87-105

Date Issued

2011

Author(s)

Lee, R.-R.

Jiang, J.-H.R.

Hung, W.-L.

DOI

10.1007/978-1-4419-7518-8_6

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/497775

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885743251&doi=10.1007%2f978-1-4419-7518-8_6&partnerID=40&md5=9284139a15b4586be51269ee7806cec4

Type

book part