Move fontenc to the top of the document.
Clarify the abstract a little bit more.
New performance results for lp/sat-dse.
I missed to publish the BiB file yet.

So annoying. I'm sorry.
Introduce section about scientific work by Leurent, Mouha and Preneel.