"Algorithm Design" by Kleinberg and Tardos is a widely used textbook covering foundational algorithm design paradigms, including greedy algorithms, divide-and-conquer, and dynamic programming. A formal solutions manual for the exercises is generally restricted to instructors via the publisher, Pearson.