Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11341416 | Bit-level learning for word-level constraint solving | In-Ho Moon | 2022-05-24 |
| 10762262 | Multi-dimensional constraint solver using modified relaxation process | In-Ho Moon, Dhiraj Goswami | 2020-09-01 |
| 10372856 | Optimizing constraint solving by rewriting at least one bit-slice constraint | Ngai Ngai William Hung, Guillermo Maturana, Jasvinder Singh, Dhiraj Goswami | 2019-08-06 |
| 9195634 | Optimizing constraint solving by rewriting at least one modulo constraint | Ngai Ngai William Hung, Guillermo Maturana, Jasvinder Singh, Dhiraj Goswami | 2015-11-24 |
| 8413089 | Performing implication and decision making using multiple value systems during constraint solving | Dhiraj Goswami | 2013-04-02 |
| 8099690 | Adaptive state-to-symbolic transformation in a canonical representation | Dhiraj Goswami, Ngai Ngai William Hung, Jasvinder Singh | 2012-01-17 |