Generic Exact Combinatorial Search at HPC Scale.

Ruairidh MacGregor Blair Archibald Phil Trinder

Published in: Int. J. Parallel Program. (2023)

Keyphrases

combinatorial search
theorem proving
search algorithm
combinatorial problems
search space
combinatorial optimization
search strategy
subgraph isomorphism
parallel tree search
constraint programming
search tree
search problems
objective function
association rules
orders of magnitude
matching algorithm