A computer implemented method for solving linear arithmetic constraints that combines a solver for difference constraints with a general linear arithmetic constraint solver. When used to solve sparse linear arithmetic constraints, the time and space complexity of the process is determined by the difference constraint component.

 
Web www.patentalert.com

< Training a support vector machine with process constraints

> Report construction method applying writing style and prose style to information of user interest

> Personalization of user accessibility options

~ 00547