Resources Contact Us Home
Chen; Gao
Beijing, CN
No. of patents:

Patent Number Title Of Patent Date Issued
8229870 Constraint based system with domain splitting July 24, 2012
A solver for a constraint satisfaction problem includes a plurality of variables and a plurality of constraints. A floating point variable has a domain and is assigned a value by first determining if a predetermined value can be assigned to the floating point variable if the predetermine
8170970 Constraint based system that identifies top constraint expressions May 1, 2012
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
8165980 Dynamic constraint solver with cross problem constraints April 24, 2012
A dynamic constraint solver solves a constraint satisfaction problem that includes a problem having zero or more ports, and zero or more sub-problems coupled to the zero or more ports. The solver stores a cross problem constraint template for cross problem constraints. The solver rec
8126834 Dynamic constraint satisfaction problem solver with hierarchical union constraints February 28, 2012
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 constr

  Recently Added Patents
Graphical user interface for interpreting the results of image analysis
Luggage cart
Architectural panel with Tarwe and grass
Method and system for determining a suppression factor of a suppression system and a lithographic apparatus
Key management system
Method and apparatus for generating images using a color field sequential display
Touchscreen with extended conductive pattern
  Randomly Featured Patents
Method for rendering multi-dimensional image data
Removable drive with data encryption
Implantable biosensor with automatic calibration
Card edge connectors
Method, system and computer program product for national language support using a multi-language property file
Movable passenger bridge for a ship
Spinning reel
Process and system for producing power
Negative working resist composition
Method for making debris-free nail collation