Open PhD Position at Dresden, Germany -- Topic: SAT Solving

Dear Colleagues,

we have an open PhD position in Dresden, starting as soon as possible,
and which is described in more detail in the attachement. Please forward
this information to colleages and students who might be interested.

Thank you very much.

Kind regards,
Norbert Manthey