Patent ID: 9665538
Date: 2017-05-30
CPC Classifications: G06F

Claim:
1. A method, comprising: receiving, by a solution engine including a search engine and a satisfiability solver, an automatically generated test pattern, wherein the automatically generated test pattern is formulated as an input satisfiability instance comprising a plurality of clauses, wherein variables of the input satisfiability instance represent various parameters of the automatically generated test pattern, and wherein the satisfiability solver comprises a processor programmed to perform algorithmic operations that make attempts to assign values to the variables that will cause the input satisfiability instance to evaluate to TRUE and designate the input satisfiability instance as unsatisfiable when the attempts are unsuccessful; deciding, based on pre-processing of the input satisfiability instance by the solution engine, to submit the input satisfiability instance to the search engine instead of to the satisfiability solver for solution; searching a database, using the search engine, for a stored satisfiability instance that matches the input satisfiability instance, wherein the stored satisfiability instance includes a stored solution comprising either variable assignments that cause the stored satisfiability instance to evaluate to TRUE or an indication that the stored satisfiability instance cannot be satisfied, wherein the database is organized as a trie having a root node and a plurality of leaf nodes, each leaf node of the plurality of leaf nodes being connected to the root node by a respective path that represents a clause, and wherein the searching comprises: outputting, by the solution engine, a solution associated with the matching node as the solution to the input satisfiability instance.