Patent ID: 8700689

Claim:
A method of solving a problem, the method comprising: generating a logic circuit representation of the problem using a first computer processor, wherein the logic circuit representation includes at least one logical input, at least one logical output, a first logic gate, and at least a second logic gate, and wherein the first logic gate has at least one intermediate logical input and at least a first intermediate logical output, the second logic gate has at least a first intermediate logical input, and the first intermediate logical output of the first logic gate corresponds to the first intermediate logical input of the second logic gate; encoding the logic circuit representation as a discrete optimization problem using the first computer processor; mapping the discrete optimization problem to a second computer processor; configuring the second computer processor to clamp the first intermediate logical output of the first logic gate; and solving the discrete optimization problem by using the second computer processor to determine at least one intermediate logical input to the first logic gate that corresponds to the clamped first intermediate logical output.