The Strongly Connected Components of 1-in, 1-out.

Bruce A. Reed Colin McDiarmid

Published in: Comb. Probab. Comput. (1992)

Keyphrases

strongly connected components
shortest path
connected components
argumentation semantics
variable ordering
max sat
search algorithm
binary images
closed contours
upper bound
simulated annealing
level set
combinatorial optimization