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)

High Resolution Radar Dataset for Semi-Supervised Learning of Dynamic Objects. - Mohammadreza Mostajabi; Ching Ming Wang; Darsh Ranjan; Gilbert Hsyu (CVPR Workshops, 2020)