Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electrical Engineering / 電機工程學系
Ashenhurst decomposition using SAT and interpolation
Details
Ashenhurst decomposition using SAT and interpolation
Journal
Advanced Techniques in Logic Synthesis, Optimizations and Applications
Pages
67-85
Date Issued
2011
Author(s)
Lin, H.-P.
Jiang, J.-H.R.
Lee, R.-R.
JIE-HONG JIANG
DOI
10.1007/978-1-4419-7518-8_5
URI
https://scholars.lib.ntu.edu.tw/handle/123456789/497774
URL
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885749373&doi=10.1007%2f978-1-4419-7518-8_5&partnerID=40&md5=53bbfd90b4f0fa9810a3825c53f37ca6
Type
book part