发明名称 |
Dynamic Constraint Satisfaction Problem Solver with Hierarchical Union Constraints |
摘要 |
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.
|
申请公布号 |
US2010268678(A1) |
申请公布日期 |
2010.10.21 |
申请号 |
US20090427037 |
申请日期 |
2009.04.21 |
申请人 |
ORACLE INTERNATIONAL CORPORATION |
发明人 |
CHEN GAO;BAGLEY CLAIRE M. |
分类号 |
G06N5/04 |
主分类号 |
G06N5/04 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|