Invention Grant
US08170970B2 Constraint based system that identifies top constraint expressions 有权
识别顶级约束表达式的基于约束的系统

Constraint based system that identifies top constraint expressions
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
Information query
Patent Agency Ranking
0/0