Patents Assigned to BARCELOGIC SOLUTIONS S.L.
  • COMPUTER-IMPLEMENTED METHOD FOR SOLVING SETS OF LINEAR ARITHMETIC CONSTRAINTS MODELLING PHYSICAL SYSTEMS
    Publication number: 20150248505
    Abstract: 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.
    Type: Application
    Filed: February 28, 2014
    Publication date: September 3, 2015
    Applicant: BARCELOGIC SOLUTIONS S.L.
    Inventor: Robert L. M. Nieuwenhuis