Definable isomorphism problem.

Khadijeh Keshvardoost Bartek Klin Slawomir Lasota Joanna Ochremiak Szymon Torunczyk

Published in: CoRR (2018)

Keyphrases

graph theory
graph isomorphism
first order logic
answer sets
transitive closure
image processing
natural language
graph search
decision making
special case
hidden markov models
data management
monadic second order logic