An implicit formulation for exact BDD minimization of incompletely specified functionsArlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto Sangiovanni‐Vincentelli book