Topic	Contact Person	Project (CL students)	Bachelor/ Großer Beleg	Master/ Diploma	Additional Information
Parallelizing SAT simplificaton techniques (starting by a simple one)	Norbert Manthey				Prerequisites: Grundlagen Logik recommended: SAT lecture
Adding Clause Learning to a Partitioning-based parallel SAT Solver (the solver without sharing is already implemented)	Norbert Manthey				Prerequisites: SAT lecture Experience in programming
Creating a parallel PB solver based on SAT solvers (the sequential solver is already available)	Norbert Manthey				Prerequisites: SAT lecture Experience in programming
Creating a high-level SAT language (includes implementing the transformation)	Norbert Manthey				Prerequisites: SAT lecture Experience in programming
Solving SAT in parallel by search-space splitting (a splitting solver is there, more splittings should be analyzed)	Norbert Manthey				Prerequisites: SAT lecture Experience in programming
Reasoning above the SAT formulation (Extracting structure from the formula and apply reasoning)	Norbert Manthey				Prerequisites: SAT lecture Experience in programming
Tackling the Nurse-Rostering Problem with SAT (translation from CSP to SAT)	Norbert Manthey				Prerequisites: SAT lecture
Solving the school time-tabling Problem with SAT (encoding all rules, apply optimization)	Norbert Manthey				Prerequisites: Grundlagen Logik recommended: SAT lecture

Note, the provided information may not be up to date. Please ask somebody from the staff whether an offered topic is still available.