Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.

Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik

Browse the full SAT paper archive.