Symbolic Computation of Strongly Connected Components Using Saturation.

Yang Zhao Gianfranco Ciardo

Published in: NASA Formal Methods (2010)

Keyphrases

strongly connected components
shortest path
connected components
argumentation semantics
variable ordering
max sat
binary images
argumentation frameworks
genetic algorithm
three dimensional
lower bound