BDD compression

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎4 ‎Phiếu

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