Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10657180 | Building and reusing solution cache for constraint satisfaction problems | — | 2020-05-19 |
| 10169292 | String variables reprsentation in solvers | Merav Aharoni, Yael Ben-Haim, Odellia Boni | 2019-01-01 |
| 8892386 | Method and apparatus for post-silicon testing | Allon Adir, Shady Copty, Anatoly Koyfman, Shimon Landa, Amir Nahir +2 more | 2014-11-18 |
| 8781986 | Constraint satisfaction problem solving using constraint semantics | — | 2014-07-15 |
| 8392348 | Constraint satisfaction problem solver | Avi Ziv | 2013-03-05 |
| 7386521 | Automatic test program generation using extended conditional constraint satisfaction | Allon Adir, Roy Emek, Kirill Shoikhet | 2008-06-10 |