開發者 bddcompression.sf.net

在許多情況下，壓縮和解壓縮二進位決策圖的演算法會將 BDD 的大小減小到每個節點 1-2 位。