Reasoning with ordered binary decision diagrams

Discrete Applied Mathematics - Tập 142 - Trang 151-163 - 2004
Takashi Horiyama1, Toshihide Ibaraki1
1Graduate School of Informatics, Kyoto University, Kyoto, 606-8501, Japan

Tài liệu tham khảo