Added placeholder for the facet enumeration appendix.
Added a reference to the facet enumeration appendix in the polyhedral analysis section.
Fixing quotes in informal definition.
Fixed typos in Spanish abstract.
Added prior work section in chapter 1.
Shrunk benchmark graphics so as not to waste space.
Added placeholder for instance generation appendix.
Typo fix in start date benchmarks.