About me: I finished my Computer Science studies at the TU Dresden, Germany, in the December of 2010. At the moment I am working in the institute of Artificial Intelligence. I am mostly interested in SAT solving, especially solving by exploiting modern multi core CPUs. Over the years, I developped several tools that either solve SAT or SAT related problems (for example Max-SAT and MUS), and also created the stand-alone CNF simplifier Coprocessor, which ships with most of the known CNF simplification techniques.

Contact: norbert dot manthey at tu-dresden dot de