The observability don't-care set and its approximations.

Patrick C. McGeer, Robert K. Brayton

Browse the full ICCD paper archive.