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
Low-staining room temperature curable coating composition
Shower bench
Fuel basket spacer, apparatus and method using the same for storing high level radioactive waste
Therapeutic human anti-IL-1R1 monoclonal antibody
Pill identification and counterfeit detection method
Method and system for billing based on color component histograms
Profile-based user access to a network management system
  Randomly Featured Patents
Transfer device and image forming apparatus with sealing member in contact with transfer belt
Reticle and technique for multiple and single patterning
Heat treatable nickel-base alloys
Nucleophilic tertiary organophosphines
Patch panel cover mounted antenna grid for use in the automatic determination of network cable connections using RFID tags
Process for cleaning of flue gases of a power plant with the aid of a coal dust burning flame and apparatus for carrying out the process
Telephone extension system utilizing power line carrier signals
Liquid ejecting head
Automobile-tire snow chains