Sign in

Symbolic Model Generation for Graph Properties.

Sven SchneiderLeen LambersFernando Orejas
Published in: FASE (2017)
Keyphrases
  • graph properties
  • graph theoretic
  • graph theory
  • directed graph
  • maximal cliques
  • genetic algorithm
  • application domains