PQ-tree algorithms.