Building and reusing solution cache for constraint satisfaction problems
Abstract:
Technical solutions are described for reusing a solution for a test. An example method includes building, by a processor, a solution cache including a tree structure representative of a plurality of solutions, which stores a key configurable immediate value of a previous solution as a node, the previous solution as a leaf node of the tree, and an edge from the node indicative of a value of the key configurable immediate value at the node. The method includes traversing nodes of the tree structure in the solution cache to identify key configurable immediate values of a previous solution identical to configurable immediate values from the test by identifying edges associated values identical to those from the test. In response to reaching a leaf node of the tree structure, using the solution(s) at the leaf node as a solution of the test.
Information query
Patent Agency Ranking
0/0