2018 旭硝子財団 助成研究発表会 要旨集

136/198

1. BDD (Binary Decision Diagram: ) ZDD (Zero-suppressed Decision Diagram) BDD/ZDD[1]BDD/ZDD BDD/ZDD (1) (1x1x11, 1x2x7, 1x3x5) (2) 2. (1) (2) ZDD(3) (2) ZDD(3) ZDD or 85 1111 75,835,320,876,016 75 12 7 643,701,062,830,656 643 13 5 1,246,811,128,184,728 1 －128－発表番号　62〔中間発表〕