1. Lecture Notes in Computer Science;C. Ansótegui,2012
2. Ansótegui, C., Bonet, M.L., Levy, J.: A new algorithm for weighted partial maxsat. In: Proceedings of the AAAI National Conference (AAAI), pp. 3–8 (2010)
3. Argelich, J., Li, C.M., Manyà, F., Planes, J.: The maxsat evaluations (2007-2011),
http://www.maxsat.udl.cat
4. Berre, D.L., Parrain, A.: The sat4j library, release 2.2. JSAT 7(2-3), 59–64 (2010)
5. Buss, S.R.: Lectures on proof theory. Tech. rep. (1996),
http://www.math.ucsd.edu/~sbuss/ResearchWeb/Barbados95Notes/reporte.pdf