DOI
stands for Digital Object Identifier
(
D
igital
O
bject
I
dentifier
)
,
and is the unique identifier for objects on the internet. It can be used to create persistent link and to cite articles.
Using DOI as a persistent link
To create a persistent link, add「http://dx.doi.org/」
「
http://dx.doi.org/
」
before a DOI.
For instance, if the DOI of an article is
10.5297/ser.1201.002
, you can link persistently to the article by entering the following link in your browser:
http://dx.doi.org/
10.5297/ser.1201.002
。
The DOI link will always direct you to the most updated article page no matter how the publisher changes the document's position, avoiding errors when engaging in important research.
Cite a document with DOI
When citing references, you should also cite the DOI if the article has one. If your citation guideline does not include DOIs, you may cite the DOI link.
DOIs allow accurate citations, improve academic contents connections, and allow users to gain better experience across different platforms. Currently, there are more than 70 million DOIs registered for academic contents. If you want to understand more about DOI, please visit airiti DOI Registration ( doi.airiti.com ) 。
Large Scale Ashenhurst Decomposition via SAT Solving and Craig Interpolation
林炫伯 , Masters Advisor:江介宏
英文
DOI:
10.6342/NTU.2009.00848
布林函式 ; 函式拆解 ; 可滿足性求解法 ; 克雷格內插法 ; 函式相依性 ; Boolean function ; functional decomposition ; SAT solving ; Craig interpolation ; functional dependency


- [1] R. L. Ashenhurst. The decomposition of switching functions. Computation Lab,
連結: - [3] J. Cong and Y.-Y. Hwang. Boolean matching for LUT-based logic blocks with
連結: - tions on Computer-Aided Design of Integrated Circuits, 20(9):1077-1090, 2001.
連結: - [4] J. Cong and K. Minkovich. Improved SAT-based Boolean matching using implicants
連結: - [5] S. A. Cook. The complexity of theorem proving procedures. Proc. Third Annual
連結: