Observability Don't Care Sets and Boolean Relations.

Maurizio Damiani, Giovanni De Micheli

Browse the full ICCAD paper archive.