Definable isomorphism problem.

Khadijeh Keshvardoost Bartek Klin Slawomir Lasota Joanna Ochremiak Szymon Torunczyk

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

graph isomorphism
graph theory
first order logic
answer sets
transitive closure
object recognition
lower bound
logic programs
subgraph isomorphism
machine learning
social networks
expert systems
relational databases
graph search