1. Abramé, A., Habet, D.: On the resiliency of unit propagation to max-resolution. In: proceedings of the 24th International Joint Conference on Artificial Intelligence (2015)
2. Ansótegui, C., Bonet, M.L., Levy, J.: Solving (weighted) partial maxSAT through satisfiability testing. In: Proceedings of SAT, vol. 2009, pp 427–440 (2009)
3. Ansótegui, C., Bonet, M.L., Levy, J.: Sat-based maxsat algorithms. Artif. Intell. 196, 77–105 (2013)
4. Argelich, J., Béjar, R., Fernández, C., Mateu, C.: On 2sat-maxones with unbalanced polarity: from easy problems to hard maxclique problems. In: proceedings of CCIA’2011, volume 232 of Frontiers in Artificial Intelligence and Applications, pp 21–30. IOS Press (2011)
5. Argelich, J., Li, C.M., Manyà, F., Planes, J.: The first and second maxSAT evaluations. JSAT 4(2–4), 251–278 (2008)