Solving Quantified Boolean Formulas with Circuit Observability Don't Cares.

Daijue Tang, Sharad Malik

Browse the full SAT paper archive.