Bogdan J. Falkowski, Chip-Hong Chang. Efficient Algorithms for the Calculation of Arithmetic Spectrum from OBDD & Synthesis of OBDD from Arithmetic Spectrum for Incompletely Specified Boolean Functions. In ISCAS. pages 197-200, 1994.
Abstract is missing.