Inventor

DE MOURA LEONARDO M

US3 patents

⚠️ This page may combine multiple inventors who share the name “DE MOURA LEONARDO M”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

DE MOURA LEONARDO M

1 patent

US8103674B2Jan 24, 2012

E-matching for SMT solvers

DE MOURA LEONARDO M6 citations63

BOUNIMOVA ELEONORA O

1 patent

US8595707B2Nov 26, 2013

Processing predicates including pointer information

BOUNIMOVA ELEONORA O1 citations40

MICROSOFT CORP

1 patent

US7925476B2Apr 12, 2011

Model-based theory combination

MICROSOFT CORP0 citations37