Patents per Year
Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 10657180 | Building and reusing solution cache for constraint satisfaction problems | — | 2020-05-19 | $2,035,000 |
| 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 | $3,249,000 |
| 8781986 | Constraint satisfaction problem solving using constraint semantics | — | 2014-07-15 | $5,287,000 |
| 8392348 | Constraint satisfaction problem solver | Avi Ziv | 2013-03-05 | $6,102,000 |
| 7386521 | Automatic test program generation using extended conditional constraint satisfaction | Allon Adir, Roy Emek, Kirill Shoikhet | 2008-06-10 | $5,963,000 |