Coherent solvers for boolean satisfiability problem solvers

An optical computing system, comprising:

• an optical random access non-transitory memory comprising:
• a plurality of optical cavities, each optical cavity configured to store a variable as resonating optical pulses, each optical cavity being optically connected to:
• an input rail configured to provide an input to the optical cavity, a signal rail configured to provide a read/write signal to the optical cavity, and an output rail configured receive an output from the optical cavity;
• a first optical cavity of the plurality of optical cavities configured to output a first train of pulses in response to a first read/write signal, the first train of pulses representing a first sub-term of a first vector, and the first read/write signal being based on a sparsity of the first vector;
• and
• a second optical cavity of the plurality of optical cavities configured to output a second train of pulses in response to a second read/write signal, the second train of pulses representing a second sub-term of a second vector, and the second read/write signal being based on a sparsity of the second vector;
• and
• an optical processing circuit comprising:
• a first offset circuit configured to offset the first sub-term and a second offset circuit configured to offset the second sub-term;
• a multiply and accumulate circuit configured to generate a product of the offset first sub-term and the offset second sub-term;
• and
• a feedback circuit configured to feed back the product to the optical random access non-transitory memory.