Title of article :
On the evolution of the worst-case OBDD size
Author/Authors :
Clemens Gr?pl، نويسنده , , Hans Jürgen Pr?mel، نويسنده , , Anand Srivastav، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2001
Keywords :
Boolean function , data structures , Ordered binary decision diagram
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters