Issued Patents All Time
Showing 1–6 of 6 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8438513 | Quantifier elimination by dependency sequents | Panagiotis Manolios | 2013-05-07 |
| 7853903 | Method and mechanism for performing simulation off resolution proof | Felice Balarin | 2010-12-14 |
| 7610570 | Method and mechanism for using systematic local search for SAT solving | — | 2009-10-27 |
| 7600211 | Toggle equivalence preserving logic synthesis | Kanupriya Gulati | 2009-10-06 |
| 7380226 | Systems, methods, and apparatus to perform logic synthesis preserving high-level specification | — | 2008-05-27 |
| 7356519 | Method and system for solving satisfiability problems | Yakov Novikov | 2008-04-08 |