Issued Patents 2021
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11163919 | Method and system for component-based design of physical systems | Ion Matei, Maksym Zhenirovskyy, Johan de Kleer | 2021-11-02 |
| 11157672 | System and method for determining hybrid-manufacturing process plans for integrated circuits based on satisfiability modulo difference logic solver | Morad Behandish, Johan de Kleer, Ion Matei, Saigopal Nelaturi | 2021-10-26 |
| 11137318 | Model-based diagnosis in frequency domain | Ion Matei, Johan de Kleer | 2021-10-05 |
| 11043951 | Analog computer architecture for fast function optimization | Ion Matei, Johan de Kleer | 2021-06-22 |
| 11010520 | System and method for circuit synthesis using partial boolean quantification | Alexandre Campos Perez, Johan de Kleer | 2021-05-18 |