Now the subgraph isomorphism encoding is less restrictive and may represent multiple encodings.
This is correct for mining, since we are just interested in the "decision" problem. However, when we store the subgraph isomorphism relation we need to save the precise isomorphism (and not the more large relation represented in the model from the sat solver).
Now the subgraph isomorphism encoding is less restrictive and may represent multiple encodings.
This is correct for mining, since we are just interested in the "decision" problem. However, when we store the subgraph isomorphism relation we need to save the precise isomorphism (and not the more large relation represented in the model from the sat solver).