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 / 電子工程學研究所
Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving
Details
Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving
Journal
ACM/IEEE Design Automation Conference (DAC'08)
Pages
636-641
Date Issued
2008-06
Author(s)
Ruei-Rung Lee
Jie-Hong R. Jiang
Wei-Lun Hung
JIE-HONG JIANG
DOI
10.1109/DAC.2008.4555896
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/343028
Type
conference paper
