Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8572005 | Representation of a set of numeric values in a computerized environment | — | 2013-10-29 |
| 7333968 | Conditional CSP solving using constraint propagation | Felix Geller, Mati Joshua | 2008-02-19 |
| 7085748 | Hyper-arc consistency in a contraint satisfaction network | Roy Emek, Alan Hartman, Gil Eliezer Shurek | 2006-08-01 |