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
Method for producing purified influenza virus antigen
Management of computer-file sharing between at least two devices
Digital IF demodulator for video applications
Wafer recycling method
Method and system for automatic 3-D image creation
Generating wiki pages from content and transformation objects
Rewarding independent influencers
  Randomly Featured Patents
Method of manufacturing a radiation excited input phosphor screen
Amine separation process
Cleaning attachment for converting a broom to a mop
Projector display comprising light source units
Method of decomposing hydrogen peroxide
VEGF-related protein
Adaptor With Clocks For Like Parts of Different Scan Paths
Surface emitting type optical semiconductor device
Head-up display for motorcycles
Magneto-elastic anisotropy assisted thin film structure