Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7730436 | Verification using simultaneous and inductive SAT algorithms | Zurab Khasidashvili, Alexander Nadel, Ziyad Hanna | 2010-06-01 |
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7730436 | Verification using simultaneous and inductive SAT algorithms | Zurab Khasidashvili, Alexander Nadel, Ziyad Hanna | 2010-06-01 |