Leonardo M. de Moura

Follow

Person

Sammamish, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Matching based pattern inference for SMT solvers
- Patent number 9,489,221
- Issue date Nov 8, 2016
- Microsoft Technology Licensing, LLC
- Nikolaj S. Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Processing predicates including pointer information
- Patent number 8,595,707
- Issue date Nov 26, 2013
- Microsoft Corporation
- Eleonora O. Bounimova
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Relevancy propagation for efficient theory combination
- Patent number 8,140,459
- Issue date Mar 20, 2012
- Microsoft Corporation
- Nikolaj Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
E-matching for SMT solvers
- Patent number 8,103,674
- Issue date Jan 24, 2012
- Microsoft Corporation
- Leonardo M. de Moura
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Model-based theory combination
- Patent number 7,925,476
- Issue date Apr 12, 2011
- Microsoft Corporation
- Leonardo M. de Moura
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROCESSING PREDICATES INCLUDING POINTER INFORMATION
- Publication number 20110161937
- Publication date Jun 30, 2011
- Microsoft Corporation
- Eleonora O. Bounimova
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Matching Based Pattern Inference for SMT Solvers
- Publication number 20090328015
- Publication date Dec 31, 2009
- Microsoft Corporation
- Nikolaj S. Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Propagation of don't cares for efficient theory combination
- Publication number 20090216701
- Publication date Aug 27, 2009
- Microsoft Corporation
- Nikolaj Skallerud Bjorner
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODEL-BASED THEORY COMBINATION
- Publication number 20090192767
- Publication date Jul 30, 2009
- Microsoft Corporation
- Leonardo M. de Moura
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
E-MATCHING FOR SMT SOLVERS
- Publication number 20090164501
- Publication date Jun 25, 2009
- Microsoft Corporation
- Leonardo M. de Moura
- G06 - COMPUTING CALCULATING COUNTING