New Solving Techniques for Maximum and Minimum Satisfiability. - Juan Ramón Soler Cabrejas (2021)