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

Nobuo Funabiki

Research output: Contribution to journal › Article

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

Cite this

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

In: 情報処理学会論文誌, Vol. Vol.40, No. No.4, 1999, p. 1578-1586.

Research output: Contribution to journal › Article

Funabiki, N 1999, 'プレスブルガー文真偽判定アルゴリズムのためのBDDの応用とそれを用いた回路検証', 情報処理学会論文誌, vol. Vol.40, no. No.4, pp. 1578-1586.
Funabiki N. プレスブルガー文真偽判定アルゴリズムのためのBDDの応用とそれを用いた回路検証. 情報処理学会論文誌. 1999;Vol.40(No.4):1578-1586.
Funabiki, Nobuo. / プレスブルガー文真偽判定アルゴリズムのためのBDDの応用とそれを用いた回路検証. In: 情報処理学会論文誌. 1999 ; Vol. Vol.40, No. No.4. pp. 1578-1586.
@article{9f3ffa8176d94c2385b79ae9ac6d2f3b,
title = "プレスブルガー文真偽判定アルゴリズムのためのBDDの応用とそれを用いた回路検証",
author = "Nobuo Funabiki",
year = "1999",
language = "Japanese",
volume = "Vol.40",
pages = "1578--1586",
journal = "情報処理学会論文誌",
number = "No.4",

}

TY - JOUR

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

AU - Funabiki, Nobuo

PY - 1999

Y1 - 1999

M3 - Article

VL - Vol.40

SP - 1578

EP - 1586

JO - 情報処理学会論文誌

JF - 情報処理学会論文誌

IS - No.4

ER -