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 / 電機資訊學院
Electronics Engineering / 電子工程學研究所
Ashenhurst Decomposition Using SAT and Interpolation
Details
Ashenhurst Decomposition Using SAT and Interpolation
Pages
67-85
Date Issued
2011-01
Author(s)
Hsuan-Po Lin
Jie-Hong Rol Jiang
Ruei-Rung Lee
JIE-HONG JIANG
Hsuan-Po Lin;Jie-Hong Rol Jiang;Ruei-Rung Lee
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/366809
Type
book