In der Gruppe beschäftige ich mich mit den SAT-Problemen und ihren Anwendungen in der Praxis. Besonders interesiere ich mich für die Klassen maxSAT und max weighted SAT.