An Improved method to join BDDs for incompletely specified Boolean functions.

Renato D. Peralta, Joao P. Nespolo, Paulo F. Butzen, Mariana Kolberg, Andr Incio Reis

Browse the full ISCAS paper archive.