Cluster-And-Conquer: A Paradigm For Solving State-Space Problems