Removed useless formulation.tex file.
Typo, missing closing quotations in last commit.
Added some definitions to the polyhedral introduction, explicitly naming the polytope associated to problem instances.