New Solving Techniques for Maximum and Minimum Satisfiability