Issued Patents All Time
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8489380 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Mark Ginzburg, Yoad Lustig, Ohad Shacham, Rachel Tzoref | 2013-07-16 |
IR
Ishai Rabinovotz
Overall (All Time): #3,167,504 of 4,157,543Top 80%
1
Patents All Time