Invia SMS: Algorithms for the maximum satisfiability problem.