The first steps...

Fine.
The first month is almost over, so let's briefly summarize what has happened:

After the initial setup phase at university I got myself up to speed with current algorithmic improvements in SAT-solving. The community published a lot of interesting papers on solving propositional logic. I'm wondering though, why parallelization does not seem to be an interesting area of software engineering.

During the first month of debugging, profiling and analyzing I came up with some promising research projects based on MiniSAT. The first experiments prove me right - we'll see what comes next.

It's an interesting time that lies ahead, so I conclude with this:
"I never think about the future - it comes soon enough" (Albert Einstein)