Added the computational complexity theory appendix.
Filled out a bit of the conclusions.
Added a future work section in the conclusion chapter.
Added LP bibliography.
Added a few more benchmarks to the performance section.
Round 1 of Javier's \infty comments. Changed the title and removed his middle name.