Inventor · disambiguated record
Rupak Majumdar
Also filed as: MAJUMDAR RUPAK
2 granted patents·1 pending application·32 citations·filing 2002–2022
61Inventor score
Top patents by PatentIndex Score
3 records- 0177US7058925B2System and method for generating a predicate abstraction of a programMICROSOFT CORP·Filed 2002·Granted Jun 6, 2006·27 cites·23 claims
- 0269US7657867B2System and method for generating a predicate abstraction of a programMICROSOFT CORP·Filed 2005·Granted Feb 2, 2010·5 cites·17 claims
- 0355US2024202545A1An eager sat-based solver for a quantifier-free theory of strings and bit vectorsAMAZON TECH INC·Filed 2022·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →