Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9489221 | Matching based pattern inference for SMT solvers | Nikolaj S. Bjorner | 2016-11-08 |
LM
Leonardo M. de Moura
Overall (2016): #317,569 of 481,213Top 70%
1
Patents 2016