The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
May. 01, 2012
Filed:
Jun. 24, 2009
Claire M. Bagley, Carlisle, MA (US);
Joyce NG, Sunnyvale, CA (US);
Michael Colena, Lowell, MA (US);
Gao Chen, Beijing, CN;
Claire M. Bagley, Carlisle, MA (US);
Joyce Ng, Sunnyvale, CA (US);
Michael Colena, Lowell, MA (US);
Gao Chen, Beijing, CN;
Oracle International Corporation, Redwood Shores, CA (US);
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.