Added branch-and-bound to the ILP appendix.
Added appendix on instance generation.
Added appendix on facet enumeration process.
Added bibliography references for the facet enumeration and ILP appendices.
Added complexity theory appendix.