Patent ID: 11899740
Assignee: QUALCOMM INCORPORATED
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 0:
1. A processor-implemented method for controlling an ensemble of a plurality of processor-implemented solvers, the method comprising performing by a controller the steps of:
receiving, from a user, an instruction indicating invalidation or removal of one or more original clauses from a set of original clauses defining a first problem to be solved by the ensemble of the plurality of processor-implemented solvers, wherein a modified set of original clauses, derived by the invalidation or removal of the one or more original clauses, defines a second, different problem to be solved by the ensemble;
generating, by a controller, a master graph comprising an aggregation of local graphs, each local graph being separate from other local graphs and corresponding to one of the plurality of solvers by:
creating a first vertex corresponding to a first clause, and associating the first vertex with a first solver of the plurality of solvers;
adding a second vertex corresponding to a second clause, and associating the second vertex with the first solver; and
establishing an undo edge from the second vertex to the first vertex;

identifying, by the controller, using the second vertex and the undo edge, a vertex corresponding to a clause to be restored; and
transmitting, by the controller, a command to the first solver comprising a signal to restore the clause to be restored.