Invention Grant
US08170970B2 Constraint based system that identifies top constraint expressions
有权
识别顶级约束表达式的基于约束的系统
- Patent Title: Constraint based system that identifies top constraint expressions
- Patent Title (中): 识别顶级约束表达式的基于约束的系统
-
Application No.: US12490725Application Date: 2009-06-24
-
Publication No.: US08170970B2Publication Date: 2012-05-01
- Inventor: Claire M. Bagley , Joyce Ng , Michael Colena , Gao Chen
- Applicant: Claire M. Bagley , Joyce Ng , Michael Colena , Gao Chen
- Applicant Address: US CA Redwood Shores
- Assignee: Oracle International Corporation
- Current Assignee: Oracle International Corporation
- Current Assignee Address: US CA Redwood Shores
- Agency: Squire Sanders (US) LLP
- Main IPC: G06N5/00
- IPC: G06N5/00

Abstract:
A constraint solver solves a constraint satisfaction problem (“CSP”) that includes a network of variables and constraints. The solver receives a sub-expression and determines if the sub-expression is an internal constraint of the CSP. The internal constraint has a supporting operator expression. If the sub-expression is an internal constraint, the solver determines any or all top constraint expressions associated with the supporting operator expression.
Public/Granted literature
- US20100332435A1 CONSTRAINT BASED SYSTEM THAT IDENTIFIES TOP CONSTRAINT EXPRESSIONS Public/Granted day:2010-12-30
Information query
IPC分类:
G | 物理 |
G06 | 计算;推算或计数 |
G06N | 基于特定计算模型的计算机系统 |
G06N5/00 | 利用基于知识的模式的计算机系统 |