Abstract: We propose a new algorithm, called linear sifting, for the optimization of decision diagrams that combines the efficiency of sifting and the power of linear transformations. The new ...
The biggest stories of the day delivered to your inbox.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback