Local Reasoning for Global Graph Properties.

Siddharth Krishna Alexander J. Summers Thomas Wies

Published in: ESOP (2020)

Keyphrases

graph properties
graph theoretic
directed graph
data mining
genetic algorithm
graph theory
network topology
maximal cliques