An Improved Satisfiable SAT Generator Based on Random Subgraph Isomorphism.

Published in: Canadian Conference on AI (2011)

Keyphrases

subgraph isomorphism
easy hard easy pattern
graph matching
edit distance
graph databases
search tree
weighted graph
graph mining
maximum common subgraph
phase transition
satisfiability problem
randomly generated
depth first search
pattern recognition
index structure
application domains