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 / 電機工程學系
Extracting functions from boolean relations using SAT and interpolation
Details
Extracting functions from boolean relations using SAT and interpolation
Journal
Advanced Techniques in Logic Synthesis, Optimizations and Applications
Pages
287-307
Date Issued
2011
Author(s)
Jiang, J.-H.R.
Lin, H.-P.
Hung, W.-L.
JIE-HONG JIANG
DOI
10.1007/978-1-4419-7518-8_16
URI
https://scholars.lib.ntu.edu.tw/handle/123456789/497773
URL
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84885808652&doi=10.1007%2f978-1-4419-7518-8_16&partnerID=40&md5=9d7a5f5621c5e2b2b4213d51f0568eb5
Type
book part