Merging Techniques For Combinatorial Optimization: Spectral Graph Theory And Semidefinite Programming