Changed the structure of the thesis.
The structure of the chapters updated.
problems in ilp updated.
Added concepts.
Concept corollary added.
Bibliography updated.