Abstract: We propose a data structure for Boolean functions termed "the free Boolean diagram." A free Boolean diagram allows decision vertices as in the conventional binary decision diagram, but also ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results