Issued Patents 2017
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9753484 | Satisfiability filter and query tool and method of building a satisfiability filter and query tool | Victor W. Marek, Andrew J. Mayer, Sean A. Weaver | 2017-09-05 |
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9753484 | Satisfiability filter and query tool and method of building a satisfiability filter and query tool | Victor W. Marek, Andrew J. Mayer, Sean A. Weaver | 2017-09-05 |