Patents by Inventor Mati Joshua

Mati Joshua 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).

  • Conditional CSP solving using constraint propagation
    Patent number: 7333968
    Abstract: A computer-implemented method for modeling a target system includes defining a conditional constraint satisfaction problem (CondCSP) that characterizes the target system in terms of problem variables and constraints applicable to the problem variables. The constraints include conditional constraints, such that the variables associated with the conditional constraints each have a respective activity status. Existence variables are defined to represent the respective activity status of the variables associated with each of the one or more conditional constraints. A solution to the CondCSP is found by determining an assignment of the problem variables and the existence variables that satisfies the constraints.
    Type: Grant
    Filed: August 17, 2005
    Date of Patent: February 19, 2008
    Assignee: International Business Machines Corporation
    Inventors: Felix Geller, Mati Joshua, Michael Veksler
  • Conditional CSP solving using constraint propagation
    Publication number: 20070100781
    Abstract: A computer-implemented method for modeling a target system includes defining a conditional constraint satisfaction problem (CondCSP) that characterizes the target system in terms of problem variables and constraints applicable to the problem variables. The constraints include conditional constraints, such that the variables associated with the conditional constraints each have a respective activity status. Existence variables are defined to represent the respective activity status of the variables associated with each of the one or more conditional constraints. A solution to the CondCSP is found by determining an assignment of the problem variables and the existence variables that satisfies the constraints.
    Type: Application
    Filed: August 17, 2005
    Publication date: May 3, 2007
    Applicant: International Business Machines Corporation
    Inventors: Felix Geller, Mati Joshua, Michael Veksler