Một thuật toán để nén và giải nén sơ đồ quyết định nhị phân trong nhiều trường hợp sẽ làm giảm kích thước của BDD đến 1-2 bit cho mỗi nút.
lịch sử phiên bản
- Phiên bản Source%20Files%20%2B%20Paper đăng trên 2009-03-22
Một số bản sửa lỗi và cập nhật - Phiên bản N/A đăng trên 2009-03-22
Chi tiết chương trình
- Mục: Tiện ích hệ thống > Khác
- Publisher: bddcompression.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: Array
- Nền tảng: windows