Darsh Ranjan

According to our database, Darsh Ranjan authored at least 4 papers between 2004 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

High Resolution Radar Dataset for Semi-Supervised Learning of Dynamic Objects.

Mohammadreza Mostajabi, Ching Ming Wang, Darsh Ranjan, Gilbert Hsyu

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

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

Proceedings of the Theory and Applications of Satisfiability Testing, 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

Proceedings of the SAT 2004, 2004

A Comparative Study of 2QBF Algorithms.

Darsh Ranjan, Daijue Tang, Sharad Malik

Proceedings of the SAT 2004, 2004