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
Depth estimation apparatus and method
Detection and use of low molecular-weight modulators of the cold-menthol receptor TRPM8
Plants and seeds of corn variety CV294874
Small molecule inhibitors of kynurenine-3-monooxygenase
Steering lock driving circuit and steering lock device
Self-assembled, micropatterned, and radio frequency (RF) shielded biocontainers and their uses for remote spatially controlled chemical delivery
Content distribution system, mobile communication terminal device, and computer readable medium
  Randomly Featured Patents
Independent conveyor system for conveying linked food products
Semiconductor device and method of manufacturing the same
Method of producing fuel gas and process heat fron carbonaceous materials
Biaxially oriented laminated polyester film for use as film to be bonded onto metal sheet
Power distribution panel with modular elements
Method and system for configuring an electronic device
Thin film magnetic memory device including memory cells having a magnetic tunnel junction
Control panel for AC/DC power supply
Method of treating with stable pravastatin formulation
Assembling device of the different parts of metal fittings