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

Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik

Browse the full SAT paper archive.