Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries.

Christoph Scholl, S. Melchior, Gnter Hotz, Paul Molitor

Browse the full DATE paper archive.