In my opinion CLRS is too verbose and formal, unless you are a complete beginner. I don't know Sedgewick's book. I can recommend Kleinberg/Tardos, Dasgupta/Papadimitriou/Vazirani and Manber's "Introduction to algorithms: a creative approach".