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:
Nov. 17, 2015

Filed:

Nov. 01, 2012
Applicant:

Cadence Design Systems, Inc., San Jose, CA (US);

Inventors:

Marat Teplitsky, Kfar-Saba, IL;

Efrat Gavish, Tel Aviv, IL;

Kalev Alpernas, Modiin, IL;

Assignee:

Cadence Design Systems, Inc., San Jose, CA (US);

Attorneys:
Primary Examiner:
Int. Cl.
CPC ...
G06N 5/00 (2006.01); G06N 5/04 (2006.01);
U.S. Cl.
CPC ...
G06N 5/048 (2013.01); G06N 5/003 (2013.01);
Abstract

The present disclosure relates to a computer-implemented method for iteratively solving a constraint satisfaction problem. The method may include assigning a value to each of one or more variables associated with the constraint satisfaction problem, each of the one or more variables having a first domain. The method may also include identifying an invalid solution resulting from a first value assigned to a first variable. The method may further include replacing the first value with a second value assigned to the first variable. The method may also include, upon identifying the invalid solution, generating a second domain larger than the first domain.


Find Patent Forward Citations

Loading…