Exploiting Isomorphic Subgraphs in SAT.

Alexander Ivrii Ofer Strichman

Published in: FMCAD (2021)

Keyphrases

subgraph isomorphism
sat solvers
data structure
search algorithm
data mining
genetic algorithm
evolutionary algorithm
graph matching
graph databases