Considering Circuit Observability Don't Cares in CNF Satisfiability.

Zhaohui Fu, Yinlei Yu, Sharad Malik

Browse the full DATE paper archive.