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

Claim 10:
11. 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, 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;
pruning, by the 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, the master graph including:
a plurality of original vertices, each original vertex corresponding to a respective original clause; and
a plurality of vertex groups, each vertex group being associated with a respective solver from the plurality of solvers;

generating, by the controller, a plurality of pruning messages, each pruning message corresponding to a respective one of the plurality of solvers; and
transmitting, by the controller, to each one of the plurality of solvers, the corresponding pruning message.