Added Garey & Johnson as bibliography for the proof of 3-colorability, and Nemhauser & Wolsey for general ILP information.