Heras, F., Larrosa, J., de Givry, S., Schiex, T., 2008. 2006 and 2007 Max-SAT Evaluations: Contributed Instances.. https://doi.org/10.3233/sat190046