Using lower bounds during dynamic BDD minimization
この論文をさがす
収録刊行物
-
- IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.
-
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 20 (1), 51-57, 2001
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1570291225180870912
-
- NII論文ID
- 10012558700
-
- NII書誌ID
- AA10629136
-
- データソース種別
-
- CiNii Articles