Dynamic constraint satisfaction problem solver with hierarchical union constraints
US8126834B2 · kind B2 · utility
5Cited by
4References
16Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Apr 21, 2009 |
| Grant date | Feb 28, 2012 |
| Priority date | — |
| Expiry date | Nov 11, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06N5/04
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A dynamic constraint solver system for solving a constraint satisfaction problem model includes a plurality of ports. The system defines a hierarchical union that includes all problems in a lower port that is in a problem under another port in the model. The system generates a constraint that computes a cardinality of the hierarchical union and determines an included set and an excluded set for the hierarchical union. The system then propagates the included set and excluded set to participating ports of the hierarchical union.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.