Extending Constraint Satisfaction Problem Solving
AssigneeInternational Business Machines Corporation
InventorsDaniel Patrick Connors, Donna Leigh Gresh, Yehuda Naveh, Yossi Richter
Life of this patent
Estimating the term…
Loading patent…
AssigneeInternational Business Machines Corporation
InventorsDaniel Patrick Connors, Donna Leigh Gresh, Yehuda Naveh, Yossi Richter
Estimating the term…
A computer-implemented method for resource management includes storing in a memory a set of resource consumers, resources for allocation to the resource consumers, and initial binary constraints applying to the allocation of the resources. Respective variables are associated with the resource consumers, and the resources are identified as values applicable to the variables. A non-binary scoring criterion is applied to generate scores on a graded scale for proposed assignments of one or more of the resources to respective ones of the resource consumers. One or more additional binary constraints are defined based on the graded scale of the scores. An assignment is found of the values to the variables that satisfies the initial and additional binary constraints using a constraint satisfaction problem (CSP) solver running on a processor that is coupled to the memory. The resources are assigned to the resource consumers responsively to the assignment of the values to the variables.
A computer-implemented method for resource management, comprising:
Apparatus for resource management, comprising:
A computer software product, comprising a computer-readable medium in which program instructions are stored, which instructions, when read by a computer, cause the computer to define a set of resource consumers, resources for allocation to the resource consumers, and initial binary constraints applying to the allocation of the resources, and to associate respective variables with the resource consumers, and identify the resources as values applicable to the variables, and to apply a non-binary scoring criterion to generate scores on a graded scale for proposed assignments of one or more of the resources to respective ones of the resource consumers, and to define one or more additional binary constraints based on the graded scale of the scores, and to automatically find an assignment of the values to the variables that satisfies the initial and additional binary constraints using a constraint satisfaction problem (CSP) solver running on the computer, and assign the resources to the resource consumers responsively to the assignment of the values to the variables.
Dependencies are inferred from the claim text.