2006 and 2007 Max-SAT Evaluations: Contributed Instances | Publicación