プレスブルガー文真偽判定アルゴリズムのためのBDDの応用とそれを用いた回路検証

Research output: Contribution to journalArticle

Original languageJapanese
Pages (from-to)1578-1586
Number of pages9
Journal情報処理学会論文誌
VolumeVol.40
Issue numberNo.4
Publication statusPublished - 1999

Cite this