Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7644058 | Apparatus and process for conjunctive normal form processing | — | 2010-01-05 |
| 5581663 | Automated problem formulator and solver | Boris Zlotin, Dmitry Bushuev, Sergey Malkin, Alla Zusman, Alexey Tikhonov +1 more | 1996-12-03 |