The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.

The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.

Date of Patent:
Jan. 01, 2019

Filed:

May. 23, 2016
Applicant:

International Business Machines Corporation, Armonk, NY (US);

Inventors:

Michael Katz, Nahariya, IL;

Vladimir Lipets, Haifa, IL;

Michael Masin, Haifa, IL;

Dany Moshkovich, Yokneam Ilit, IL;

Segev E Wasserkrug, Haifa, IL;

Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 17/10 (2006.01);
U.S. Cl.
CPC ...
G06F 17/10 (2013.01);
Abstract

A computer program product comprising a non-transitory computer readable storage medium retaining program instructions configured to cause a processor to perform actions, which program instructions implement: a framework for creating a model of an NP-hard problem, the model comprising at least one entity selected from the group comprising: an objective, a variable, an equation and a constraint, wherein the framework provides methods for automatically transforming the model, comprising: one or more methods for manipulating or changing a status of the entity of the model, the methods comprising a method for imposing or ignoring the constraint; and one or more methods related to operations to be applied to the entity of the model.


Find Patent Forward Citations

Loading…