Symbolic Model Generation for Graph Properties.

Sven Schneider Leen Lambers Fernando Orejas

Published in: FASE (2017)

Keyphrases

graph properties
graph theoretic
graph theory
directed graph
maximal cliques
genetic algorithm
application domains