BARCELOGIC SOLUTIONS S.L.
BARCELOGIC SOLUTIONS S.L. Patent applications | ||
Patent application number | Title | Published |
---|---|---|
20150248505 | COMPUTER-IMPLEMENTED METHOD FOR SOLVING SETS OF LINEAR ARITHMETIC CONSTRAINTS MODELLING PHYSICAL SYSTEMS - A computer-implemented method for solving sets of linear arithmetic constraints modelling physical systems by programmed execution of mathematical operations in a processor unit, wherein the programmed execution of mathematical operations decide, given a set of constraints S, whether S has any solution, and if so, find one or more of them. | 09-03-2015 |