A Comparative Study of 2QBF Algorithms. - Darsh Ranjan; Daijue Tang; Sharad Malik (SAT, 2004)

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 (SAT, 2004)

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 (SAT (Selected Papers, 2004)

Symmetry Reduction in SAT-Based Model Checking. - Daijue Tang; Sharad Malik; Aarti Gupta; C. Norris Ip (CAV, 2005)

Solving Quantified Boolean Formulas with Circuit Observability Don't Cares. - Daijue Tang; Sharad Malik (SAT, 2006)