Analysis of Search Based Algorithms for Satisfiability of Propositional and Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems
Tang, Daijue, Yu, Yinlei, Ranjan, Darsh, Malik, Sharad
Published in Lecture notes in computer science (2005)
Published in Lecture notes in computer science (2005)
Get full text
Book Chapter
Conference Proceeding
Systems and methods for detecting objects
Wang, Ching Ming, Ranjan, Darsh, Prados, Michael, Hanks, Christopher, Puglielli, Antonio, Nagpal, Vinayak, Chim, Man Chung
Year of Publication 06.06.2023
Get full text
Year of Publication 06.06.2023
Patent
SYSTEMS AND METHODS FOR DETECTING OBJECTS
PUGLIELLI, Antonio, PRADOS, Michael, HANKS, Christopher, RANJAN, Darsh, CHIM, Man Chung, NAGPAL, Vinayak, WANG, Ching Ming
Year of Publication 23.02.2022
Get full text
Year of Publication 23.02.2022
Patent
SYSTEMS AND METHODS FOR DETECTING OBJECTS
PUGLIELLI, Antonio, PRADOS, Michael, HANKS, Christopher, RANJAN, Darsh, CHIM, Man Chung, NAGPAL, Vinayak, WANG, Ching Ming
Year of Publication 24.03.2021
Get full text
Year of Publication 24.03.2021
Patent
SYSTEMS AND METHODS FOR DETECTING OBJECTS
Wang, Ching Ming, Ranjan, Darsh, Prados, Michael, Hanks, Christopher, Puglielli, Antonio, Nagpal, Vinayak, Chim, Man Chung
Year of Publication 04.06.2020
Get full text
Year of Publication 04.06.2020
Patent
SYSTEMS AND METHODS FOR DETECTING OBJECTS
PUGLIELLI, Antonio, PRADOS, Michael, HANKS, Christopher, RANJAN, Darsh, CHIM, Man Chung, NAGPAL, Vinayak, WANG, Ching Ming
Year of Publication 21.11.2019
Get full text
Year of Publication 21.11.2019
Patent
Systems and methods for detecting objects
Wang, Ching Ming, Ranjan, Darsh, Prados, Michael, Hanks, Christopher, Puglielli, Antonio, Nagpal, Vinayak, Chim, Man Chung
Year of Publication 30.07.2019
Get full text
Year of Publication 30.07.2019
Patent
SYSTEMS AND METHODS FOR DETECTING OBJECTS
RANJAN DARSH, O MASAAKI, CHIM MAN CHUNG, HANKS CHRISTOPHER, PUGLIELLI ANTONIO, NAGPAL VINAYAK, PRADOS MICHAEL
Year of Publication 02.03.2021
Get full text
Year of Publication 02.03.2021
Patent