2 research outputs found
On the Evolution of the Worst-Case OBDD Size
No full textWe prove matching lower and upper bounds on the worst-case OBDD size of a Boolean function, revealing an interesting ocillating behaviour
On the Evolution of the Worst-Case OBDD Size
No full textWe prove matching lower and upper bounds on the worst-case OBDD size of a Boolean function, revealing an interesting oscillating behavior
