Considering circuit observability don't cares in CNF satisfiability - Fu, Z. (2013)
10.1109/DATE.2005.102