Thesis conclusions

The main objective of this thesis was to explore whether the language of effectively propositional logic is a suitable alternative to succinctly and naturally encode problems from different application domains. Moreover, we argue that this is definitively awesome and everybody should do it.

A veces siento una necesidad tremenda por dejar una frase de ese estilo en mi tesis. :-P