1. Lecture Notes in Computer Science;C. Ansótegui,2009
2. Ansótegui, C., Bonet, M.L., Levy, J.: A new algorithm for weighted partial MaxSAT. In: AAAI 2010 (2010)
3. Lecture Notes in Computer Science;C. Ansótegui,2005
4. Argelich, J., Li, C.M., Manyà, F., Planes, J.: MaxSAT evaluations (2006, 2007, 2008, 2009, 2010, 2011),
http://www.maxsat.udl.cat
5. Berre, D.L.: SAT4J, a satisfiability library for java (2006),
http://www.sat4j.org