Patents by Inventor Robert L. M. Nieuwenhuis

Robert L. M. Nieuwenhuis has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • COMPUTER-IMPLEMENTED METHOD FOR SOLVING SETS OF LINEAR ARITHMETIC CONSTRAINTS MODELLING PHYSICAL SYSTEMS
    Publication number: 20170315958
    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: July 17, 2017
    Publication date: November 2, 2017
    Inventor: Robert L. M. Nieuwenhuis
  • 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