On the Variable Ordering in Subgraph Isomorphism Algorithms.

Vincenzo Bonnici Rosalba Giugno

Published in: IEEE ACM Trans. Comput. Biol. Bioinform. (2017)

Keyphrases

variable ordering
hard problems
pattern recognition
data structure
orders of magnitude
data mining
genetic algorithm
computational complexity
special case
combinatorial optimization
branch and bound algorithm
sat solvers