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
Refuelable battery-powered electric vehicle
MOS device for eliminating floating body effects and self-heating effects
Detecting the type of NAT firewall using messages
Wire guide
Variants of a family 44 xyloglucanase
Persistent luminescence nanoparticles used in the form of a diagnosis agent for in vivo optical imaging
Solid-state image capture device and image capture apparatus
  Randomly Featured Patents
Nanostructures that provide a modified nanoenvironment for the enhancement of luminescence
Humanized Fc.gamma.RIIB-specific antibodies and methods of use thereof
Digital video disk player and reproduction control method thereof
Apparatus for suspending a covering over a container in a microwave oven
Developer storing vessel and image forming apparatus
Systems and methods for receiving data in a wireless communication network
Member certificate acquiring device, member certificate issuing device, group signing device, and group signature verifying device
Ring seal system with reduced cooling requirements
Pipeline pig with longitudinally incompressible member