Inventor · disambiguated record
Leonardo M. De Moura
Also filed as: DE MOURA LEONARDO M · DE MOURA LEONARDO MENDONCA · DE MOURA LEONARDO MENDONÇA
5 granted patents·1 pending application·11 citations·filing 2007–2023
71Inventor score
Files withAMAZON TECH INC1BJORNER NIKOLAJ1BJORNER NIKOLAJ S1BOUNIMOVA ELEONORA O1DE MOURA LEONARDO M1
Top patents by PatentIndex Score
6 records- 0166US8103674B2E-matching for SMT solversDE MOURA LEONARDO M·Filed 2007·Granted Jan 24, 2012·6 cites·12 claims
- 0259US2025111220A1Sampling large language models with equivalence checkingAMAZON TECH INC·Filed 2023·Application pending·0 cites
- 0352US8140459B2Relevancy propagation for efficient theory combinationBJORNER NIKOLAJ·Filed 2008·Granted Mar 20, 2012·3 cites·18 claims
- 0448US9489221B2Matching based pattern inference for SMT solversBJORNER NIKOLAJ S·Filed 2008·Granted Nov 8, 2016·1 cites·20 claims
- 0548US8595707B2Processing predicates including pointer informationBOUNIMOVA ELEONORA O·Filed 2009·Granted Nov 26, 2013·1 cites·20 claims
- 0641US7925476B2Model-based theory combinationMICROSOFT CORP·Filed 2008·Granted Apr 12, 2011·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Leonardo M. De Moura files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →