Vitalsource Technologies, Inc. Solutions Manual To Accompany Combinatorial Reasoning: An Introduction