| 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 |
