An Improved Algorithm for the Construction of Decision Diagrams by Rearranging and Partitioning the Input Cube Set

[摘要]：Decision diagrams (DDs) are a data structure that allows compact representation of discrete functions. The efficient construction of DDs in terms of space and time is often considered problem. A particular problem is that during the construction of a DD,

[全文传递流程]：

一般上传文献全文的时限在1个工作日内