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 Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems. 292-305 2004 conf/sat/2004lncs SAT (Selected Papers http://dx.doi.org/10.1007/11527695_23 db/conf/sat/sat2004lncs.html#TangYRM04a