CNF partitioning, Divide and Conquer, Fiduccia-Mattheyses algorithm, hypergraph partitioning, SAT partitioning.