New refiners for permutation group search.

Christopher Jefferson Markus Pfeiffer Rebecca Waldecker

Published in: J. Symb. Comput. (2019)

Keyphrases

search algorithm
search efficiency
real time
search space
data sets
neural network
search methods
search strategy
database
e learning
decision trees
case study
solution space
visual search
search tools