Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9489221 | Matching based pattern inference for SMT solvers | Nikolaj S. Bjorner | 2016-11-08 |
| 8595707 | Processing predicates including pointer information | Eleonora O. Bounimova, Vladimir A. Levin, Thomas J. Ball | 2013-11-26 |
| 8140459 | Relevancy propagation for efficient theory combination | Nikolaj S. Bjorner | 2012-03-20 |
| 8103674 | E-matching for SMT solvers | Nikolaj S. Bjorner | 2012-01-24 |
| 7925476 | Model-based theory combination | Nikolaj S. Bjorner | 2011-04-12 |