Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10169292 | String variables reprsentation in solvers | Merav Aharoni, Eyal Bin, Odellia Boni | 2019-01-01 |
| 8825575 | Conjunctive normal form encoding of cardinality constraints | Alexander Ivrii, Arie Matsliah, Oded Margalit | 2014-09-02 |