Daijue Tang Sharad Malik Solving Quantified Boolean Formulas with Circuit Observability Don't Cares. 368-381 2006 conf/sat/2006 SAT http://dx.doi.org/10.1007/11814948_34 db/conf/sat/sat2006.html#TangM06