Issued Patents All Time
Showing 1–9 of 9 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9443210 | Interactive product configurator with automatic selections | Claire M. Bagley, David J. Kulik, Martin P. Plotkin, Gao Chen, Michael Colena | 2016-09-13 |
| 8751425 | Constraint satisfaction problem solver with interactive conflict resolution | Claire M. Bagley, Gao Chen | 2014-06-10 |
| 8458050 | Interactive product configurator that allows modification to automated selections | Claire M. Bagley, Martin P. Plotkin, David J. Kulik, Michael Colena, Gao Chen | 2013-06-04 |
| 8447716 | Dynamic constraint satisfaction problem solver with inferred problem association removal | Claire M. Bagley, Gao Chen | 2013-05-21 |
| 8386544 | Managing floating point variables in constraint satisfaction problems | Claire M. Bagley | 2013-02-26 |
| 8229869 | Constraint processing with zero value handling | Claire M. Bagley | 2012-07-24 |
| 8229870 | Constraint based system with domain splitting | Claire M. Bagley, Gao Chen, Martin P. Plotkin | 2012-07-24 |
| 8209276 | Constraint based system with dynamic consistency checking | Michael Colena, Claire M. Bagley | 2012-06-26 |
| 8170970 | Constraint based system that identifies top constraint expressions | Claire M. Bagley, Michael Colena, Gao Chen | 2012-05-01 |