On Modal μ-Calculus over Finite Graphs with Bounded Strongly Connected Components

Giovanna D'Agostino Giacomo Lenzi

Published in: GANDALF (2010)

Keyphrases

strongly connected components
shortest path
connected components
argumentation semantics
bounded degree
modal logic
max sat
closed contours
variable ordering
computer vision
genetic algorithm
search algorithm
upper bound
input image
bounded treewidth