Large boolean functions can be repr

Large boolean functions can be represented efficiently using BDDs, which were
originally invented for hardware verification to efficiently store a large number of states thatshare many commonalities [8].

Kết quả (Việt) 1:

Chức năng boolean lớn có thể đại diện cho efficiently BDDs, đã sử dụng Ban đầu được phát minh cho phần cứng verification efficiently cửa hàng một số lượng lớn các tiểu bang thatshare nhiều commonalities [8].

Kết quả (Việt) 2:

Chức năng boolean lớn có thể được đại diện fi ef ciently sử dụng BDDs, được
ban đầu được phát minh cho phần cứng veri fi cation để EF cửa hàng fi ciently một số lượng lớn của các quốc gia thatshare nhiều điểm tương đồng [8].