Zhaohui Fu Yinlei Yu Sharad Malik Considering Circuit Observability Don't Cares in CNF Satisfiability. 1108-1113 2005 conf/date/2005 DATE http://doi.ieeecomputersociety.org/10.1109/DATE.2005.102 db/conf/date/date2005.html#FuYM05