Minimierung gelernter Klauseln in parallelen SAT-Lösern