Search
❯
Graph patterns covering traversal structure, cycles, ordering, and trees.
Tree techniques for lifting, decomposition, traversal, and message passing.