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

Research output: Contribution to journalArticle

Original languageJapanese
Pages (from-to)1578-1586
Number of pages9
Journal情報処理学会論文誌
Volume40
Issue number4
Publication statusPublished - 1999

Cite this

@article{cd2bdcc4228b4755ac2d65454f5fc7e9,
title = "{"}プレスブルガー文真偽判定アルゴリズムのためのBDDの応用とそれを用いた回路検証{"}",
author = "Nobuo Funabiki",
year = "1999",
language = "Japanese",
volume = "40",
pages = "1578--1586",
journal = "情報処理学会論文誌",
number = "4",

}

TY - JOUR

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

AU - Funabiki, Nobuo

PY - 1999

Y1 - 1999

M3 - Article

VL - 40

SP - 1578

EP - 1586

JO - 情報処理学会論文誌

JF - 情報処理学会論文誌

IS - 4

ER -