SMS versenden: Algorithms for the maximum satisfiability problem.