Patent ID: 11861409
Assignee: AMAZON TECHNOLOGIES, INC.
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 11:
12. The computer-implemented method of claim 4, further comprising:
receiving a second request to determine whether a second formula expressed in first-order logic is satisfiable;
generating a second set of predicates based on the second formula;
partitioning a search space associated with the second formula into a second plurality of sub-formulas;
sending, to the SMT solver running on each of the respective plurality of computing resources, a respective sub-formula of the second plurality of sub-formulas;
receiving, from each SMT solver running on a computing resource of the plurality of computing resources, an indication that the respective sub-formula is not satisfiable; and
transmitting a message indicating that the second formula is unsatisfiable.