著者
Randal E. Bryant
タイトル
Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams
日時
July 1991
カテゴリ
CMUTR
Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Number: CMU-CS-91-162
Bibtype: TechReport
Author: Randal E. Bryant
Month: jul
Title: Symbolic Boolean Manipulation with Ordered Binary
        Decision Diagrams
Year: 1991
Key: Binary decision diagrams, branching programs,
        symbolic manipulation, Boolean functions, Boolean algebra
Address: Pittsburgh, PA